CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Appendix to: A First Order Extension of Stålmarck's Method

Magnus Björk (Institutionen för data- och informationsteknik, Datavetenskap (Chalmers))
Göteborg : Chalmers University of Technology, 2005. - 79 s.

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.

Nyckelord: automated theorem proving

Denna post skapades 2006-08-25.
CPL Pubid: 9840