Appendix to: A First Order Extension of Stålmarck's Method
Rapport, 2005
This is an appendix to the paper "A First Order Extension of Stålmarck's Method", published at the LPAR 2005 conference in Montego Bay, Jamaica (Logic for Programming, Artificial Intelligence, and Reasoning). It contains the full proofs of all lemmas and theorems stated in the paper.
automated theorem proving
Författare
Magnus Björk
Chalmers, Data- och informationsteknik, Datavetenskap
Ämneskategorier
Datavetenskap (datalogi)
Technical report - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 21