Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 -- May 1, 2010. Revised selected papers

DOI10.1007/978-3-642-17511-4zbMath1203.68004OpenAlexW4376562731MaRDI QIDQ610791

No author found.

Publication date: 10 December 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (4)

Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses ⋮ Inferring complete initialization of arrays ⋮ On the generation of quantified lemmas ⋮ Fifty years of Hoare's logic

Uses Software

• Dafny
• TPTP
• Qex

This page was built for publication: Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 -- May 1, 2010. Revised selected papers