The following pages link to (Q5569110):
Displaying 20 items.
- An axiomatization of graphs (Q707454) (← links)
- Deterministic grammars and grammar morphisms (Q1080666) (← links)
- An algebraic structure for derivations in rewriting systems (Q1111012) (← links)
- A survey of normal form covers for context-free grammars (Q1132639) (← links)
- An algebraic model of synchronous systems (Q1186811) (← links)
- Foundations of a theory of synchronous systems (Q1199824) (← links)
- Sequentielle Analyse kontextfreier Sprachen (Q1226393) (← links)
- Grammarforms and grammarhomomorphisms (Q1229098) (← links)
- Algebraic properties of derivation words (Q1240577) (← links)
- A unified approach to the generation and the acception of formal languages (Q1241067) (← links)
- Die Verwandtschaft kontextfreier Grammatiken (Q1258179) (← links)
- Graph automata (Q2481961) (← links)
- Recognizability of graph and pattern languages (Q2491214) (← links)
- Reduktionssätze über eine Klasse formaler Sprachen mit endlich vielen Zuständen (Q2527229) (← links)
- Vier Entscheidbarkeitsprobleme für kontextsensitive Sprachen (Q2531283) (← links)
- Zerlegungen von Semi-Thue-Systemen (Q2535856) (← links)
- Ein Vollständigkeitssatz für Programme und Schaltkreise. (A completeness theorem for programs and switching circuits.) (Q2549682) (← links)
- Verbandstheoretische Einbettung von Klassen unwesentlich verschiedener Ableitungen in die Zopfgruppe. (Lattice theoretical embedding of classes of unessentially different derivations into the braid group) (Q2550458) (← links)
- (Q4164847) (← links)
- Concatenation of graphs (Q4645288) (← links)
