© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Solving divergence in Knuth-Bendix completion by enriching signatures
M. Thomas and P. Watson
In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Algebraic Methodology and Software Technology, Proceedings of the 2nd International Conference, Iowa City, U.S.A., 1991, Workshops in Computing, pages 182-196. Springer Verlag, January 1992.Bibtex Record
@inproceedings{728,
author = {M. Thomas and P. Watson},
title = {Solving divergence in {K}nuth-{B}endix completion by enriching signatures},
month = {January},
year = {1992},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1992/728},
booktitle = {Algebraic Methodology and Software Technology, Proceedings of the 2nd International Conference, Iowa City, U.S.A., 1991},
editor = {M. Nivat and C. Rattray and T. Rus and G. Scollo},
publisher = {Springer Verlag},
refereed = {Yes},
series = {Workshops in Computing},
}