FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
From MaRDI portal
Publication:5897771
DOI10.1007/11590156zbMath1172.68543MaRDI QIDQ5897771
Jan Strejček, Vojtěch Řehák, Mojmír Křetínský
Publication date: 14 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11590156
68Q60: Specification and verification (program logics, model checking, etc.)
03B25: Decidability of theories and sets of sentences
68Q42: Grammars and rewriting systems
Related Items
On decidability of LTL model checking for process rewrite systems, Reachability is decidable for weakly extended process rewrite systems, On Symbolic Verification of Weakly Extended PAD, The Decidability of the Reachability Problem for CCS!