© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Integrating Computer Algebra and Reasoning through the Type System of Aldor
Erik Poll and Simon Thompson
In Helene Kirchner and Christophe Ringeissen, editors, Frontiers of Combining Systems: Frocos 2000, volume 1794 of Lecture Notes in Computer Science, pages 182-196. Springer, March 2000.Bibtex Record
@inproceedings{1039,
author = {Erik Poll and Simon Thompson},
title = {{Integrating Computer Algebra and Reasoning through the Type System of Aldor}},
month = {March},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1039},
ISBN = {3-540-67281-8},
booktitle = {Frontiers of Combining Systems: Frocos 2000},
editor = {Helene Kirchner and Christophe Ringeissen},
publication_type = {inproceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
submission_id = {12758_956853451},
volume = {1794},
}