DOI10.1007/978-3-642-17511-4_17zbMath1310.68123MaRDI QIDQ3066105
Matthias Horbach
Publication date: 7 January 2011 Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-17511-4_17
Mathematics Subject Classification ID
03B70: Logic in computer science
68Q42: Grammars and rewriting systems
Related Items