Constraints in Term Algebras (Short Survey) (1993)
by
Hubert Comon
| Venue: | Proc. Conf. on Algebraic Methodology and Software Technology, Univ. of Twente |
| Citations: | 4 - 3 self |
BibTeX
@INPROCEEDINGS{Comon93constraintsin,
author = {Hubert Comon},
title = {Constraints in Term Algebras (Short Survey)},
booktitle = {Proc. Conf. on Algebraic Methodology and Software Technology, Univ. of Twente},
year = {1993},
publisher = {Springer Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper. References
