© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Deduction with Modularity, Equality and Sortedness
W. Atkinson, J. Cunningham, and S. Kent
In FOREST Research Deliverable Report WP3.R1. Department of Computing, Imperial College of Science, Technology and Medicine, London, January 1990.Bibtex Record
@incollection{813,
author = {W. Atkinson and J. Cunningham and S. Kent},
title = {{Deduction with Modularity, Equality and Sortedness}},
month = {January},
year = {1990},
pages = {},
keywords = {},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1990/813},
address = {Department of Computing, Imperial College of Science, Technology and Medicine, London},
booktitle = {FOREST Research Deliverable Report WP3.R1},
}