The following pages link to Developments in Language Theory (Q5711946):
Displayed 5 items.
- A structural/temporal query language for business processes (Q414923) (← links)
- Verification of graph grammars using a logical approach (Q436370) (← links)
- Automata for XML -- a survey (Q878749) (← links)
- The recognizability of sets of graphs is a robust property (Q2566292) (← links)
- Formal Verification of Graph Grammars using Mathematical Induction (Q5179351) (← links)