Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner. Equational Completion in Order-Sorted Algebras (Extended Abstract). In Max Dauchet, Maurice Nivat, editors, CAAP 88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings. Volume 299 of Lecture Notes in Computer Science, pages 165-184, Springer, 1988.
@inproceedings{GnaedigKK88,
title = {Equational Completion in Order-Sorted Algebras (Extended Abstract)},
author = {Isabelle Gnaedig and Claude Kirchner and Hélène Kirchner},
year = {1988},
tags = { algebra},
researchr = {https://researchr.org/publication/GnaedigKK88},
cites = {0},
citedby = {0},
pages = {165-184},
booktitle = {CAAP 88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings},
editor = {Max Dauchet and Maurice Nivat},
volume = {299},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-19021-X},
}