Operational semantics for order-sorted algebra
Top Cited Papers
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 221-231
- https://doi.org/10.1007/bfb0015747
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- Completion of a set of rules modulo a set of equationsPublished by Association for Computing Machinery (ACM) ,1984
- Equational partialityAlgebra universalis, 1983
- Computer experiments with the REVE term rewriting system generatorPublished by Association for Computing Machinery (ACM) ,1983
- Universal realization, persistent interconnection and implementation of abstract modulesPublished by Springer Nature ,1982
- Completeness of many-sorted equational logicACM SIGPLAN Notices, 1981
- Lokal präsentierbare KategorienLecture Notes in Mathematics, 1971