The following pages link to Developments in Language Theory (Q5711946):
Displaying 14 items.
- A structural/temporal query language for business processes (Q414923) (← links)
- Verification of graph grammars using a logical approach (Q436370) (← links)
- An axiomatization of graphs (Q707454) (← links)
- Automata for XML -- a survey (Q878749) (← links)
- The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability (Q1176232) (← links)
- Recognizable series on graphs and hypergraphs (Q2424675) (← links)
- The recognizability of sets of graphs is a robust property (Q2566292) (← links)
- Set recognition of decomposable graphs and steps towards their reconstruction (Q2673544) (← links)
- On Several Proofs of the Recognizability Theorem (Q3642524) (← links)
- Graphs as relational structures: An algebraic and logical approach (Q4037312) (← links)
- (Q4273666) (← links)
- Recognizable sets of graphs: equivalent definitions and closure properties (Q4286529) (← links)
- (Q4714508) (← links)
- Formal Verification of Graph Grammars using Mathematical Induction (Q5179351) (← links)
