Extending the Automated Reasoning Toolbox
Licentiatavhandling, 2015
First-Order Logic
Sorted Logic
Automated Reasoning
Författare
Ann Lillieström
Chalmers, Data- och informationsteknik, Programvaruteknik
Automated Inference of Finite Unsatisfiability
Journal of Automated Reasoning,;Vol. 47(2011)p. 111-132
Artikel i vetenskaplig tidskrift
Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),;Vol. 6803 LNAI(2011)p. 207-221
Paper i proceeding
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Data- och informationsvetenskap
Technical report L - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University
ED
Opponent: Dr. Peter Baumgartner