DOI10.1007/978-3-642-22863-6_15zbMath1342.68291MaRDI QIDQ3088006
Ondřej Kunčar
Publication date: 17 August 2011 Published in: Interactive Theorem Proving (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-22863-6_15
Mathematics Subject Classification ID
Uses Software