© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A `Permuation-free' Calculus for Lax Logic
J. M. Howe
Research Report CS/98/1, University of St Andrews, January 1998. Download publication 46 kbytesBibtex Record
@techreport{945,
author = {Howe, J. M.},
title = {A `{P}ermuation-free' {C}alculus for {L}ax {L}ogic},
month = {January},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/945},
institution = {University of St Andrews},
number = {CS/98/1},
publication_type = {techreport},
submission_id = {22286_945702301},
type = {Research Report},
}