Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic
Paper in proceeding, 2011
Automated theorem proving
Automated reasoning
First-order logic
Author
Koen Lindström Claessen
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Ann Lillieström
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Nicholas Smallbone
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 6803 LNAI 207-221978-3-642-22437-9 (ISBN)
Subject Categories
Computer and Information Science
DOI
10.1007/978-3-642-22438-6_17
ISBN
978-3-642-22437-9