Exact Exploration and Hanging Algorithms

DOI10.1007/978-3-642-15205-4_14zbMath1287.68042OpenAlexW1874813302MaRDI QIDQ3586039

Nachum Dershowitz, Andreas Blass, Yuri Gurevich

Publication date: 3 September 2010

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15205-4_14

Mathematics Subject Classification ID

General topics in the theory of algorithms (68W01)

Related Items

Unnamed Item

Uses Software

• RealLib
• iRRAM