© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Implementing Theorem Provers in a Purely Functional Style
Keith Hanna
Journal of Functional Programming, 9(2):182-196, March 1999.Bibtex Record
@article{1009,
author = {Keith Hanna},
title = {{Implementing Theorem Provers in a Purely Functional Style}},
month = {March},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/1009},
journal = {Journal of Functional Programming},
number = {2},
publication_type = {article},
submission_id = {3587_952513844},
volume = {9},
}