Equational Completion in Order-Sorted Algebras (Extended Abstract)

Authors:
Isabelle Gnaedig;Claude Kirchner;Hélène Kirchner
Affiliations:
-;-;-
Venue:
CAAP '88 Proceedings of the 13th Colloquium on Trees in Algebra and Programming
Year:
1988

Citing 0
Cited 3

System support for modular order-sorted horn clause specifications

ICSE '90 Proceedings of the 12th international conference on Software engineering
Term Rewriting in a Logic of Special Relations

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Abstract canonical presentations

Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics

Quantified Score

Hi-index	0.00

Visualization

Abstract