Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic
Paper i proceeding, 2011
Automated theorem proving
Automated reasoning
First-order logic
Författare
Koen Lindström Claessen
Chalmers, Data- och informationsteknik, Programvaruteknik
Ann Lillieström
Chalmers, Data- och informationsteknik, Programvaruteknik
Nicholas Smallbone
Chalmers, Data- och informationsteknik, Programvaruteknik
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)
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/978-3-642-22438-6_17
ISBN
978-3-642-22437-9