© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Theorem Proving and Partial Proof Search for Intuitionistic Propositional Logic Using a Permutation-free Calculus with Loop-Checking
J. M. Howe
Research Report CS/96/12, University of St Andrews, August 1996. Download publication 45 kbytesBibtex Record
@techreport{943,
author = {Howe, J. M.},
title = {{T}heorem {P}roving and {P}artial {P}roof {S}earch for {I}ntuitionistic {P}ropositional {L}ogic {U}sing a {P}ermutation-free {C}alculus with {L}oop-{C}hecking},
month = {August},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/943},
institution = {University of St Andrews},
number = {CS/96/12},
publication_type = {techreport},
submission_id = {22213_945701673},
type = {Research Report},
}