Synthesis for Structure Rewriting Systems
From MaRDI portal
Publication:3182943
DOI10.1007/978-3-642-03816-7_36zbMath1250.68142OpenAlexW2159030264MaRDI QIDQ3182943
Publication date: 16 October 2009
Published in: Mathematical Foundations of Computer Science 2009 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03816-7_36
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Infinite games played on finite graphs
- Automata, logics, and infinite games. A guide to current research
- Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
- Abstracting Complex Data Structures by Hyperedge Replacement
- Admissibility in Infinite Games
- STACS 2004