DOI10.1007/978-3-642-17511-4_28zbMath1310.68135MaRDI QIDQ3066115
Orna Kupferman, Tami Tamir
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_28
Mathematics Subject Classification ID
68Q25: Analysis of algorithms and problem complexity
68Q45: Formal languages and automata