Semantics of order-sorted specifications
- 2 March 1992
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 94 (1) , 1-35
- https://doi.org/10.1016/0304-3975(92)90322-7
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Parametrization for order-sorted algebraic specificationJournal of Computer and System Sciences, 1990
- Completion of a Set of Rules Modulo a Set of EquationsSIAM Journal on Computing, 1986
- Completeness of many-sorted equational logicACM SIGPLAN Notices, 1981
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Untersuchungen zur mehrsortigen QuantorenlogikMathematische Annalen, 1962