Pages that link to "Item:Q5704368"
From MaRDI portal
The following pages link to REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES (Q5704368):
Displaying 4 items.
- An axiom system for sequence-based specification (Q1044834) (← links)
- Applying string-rewriting to sequence-based specification (Q2248084) (← links)
- Representation of a class of nondeterministic semiautomata by canonical words. (Q2490807) (← links)
- REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES, PART II: SPECIFICATION OF SOFTWARE MODULES (Q3065617) (← links)