Remarks on many-sorted equational logic with respect to algebraic implementations

Authors:
Eric van Gestel;Ivo van Horebeek
Affiliations:
Catholic University of Leuven, Leuven, Beligum;Catholic University of Leuven, Leuven, Beligum
Venue:
ACM SIGPLAN Notices
Year:
1988

Citing 5
Cited 0

Initiality, induction, and computability

Algebraic methods in semantics
Remarks on remarks on many-sorted equational logic

ACM SIGPLAN Notices
Abstract data types and the development of data structures

Communications of the ACM
Abstract data types and software validation

Communications of the ACM
Completeness of many-sorted equational logic

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract