Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14--19, 2013. Proceedings

DOI10.1007/978-3-642-45221-5zbMath1277.68016OpenAlexW2562160110MaRDI QIDQ383830

No author found.

Publication date: 6 December 2013

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-45221-5

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 (3)

From LTL to unambiguous Büchi automata via disambiguation of alternating automata ⋮ Automating free logic in HOL, with an experimental application in category theory ⋮ GRUNGE: a grand unified ATP challenge

Uses Software

• HOL Light
• E Theorem Prover

This page was built for publication: Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14--19, 2013. Proceedings