Constructing specification morphisms
- 1 May 1993
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 15 (5-6) , 571-606
- https://doi.org/10.1016/s0747-7171(06)80006-4
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- The varieties of programming languageLecture Notes in Computer Science, 1989
- Un-skolemizing clause setsInformation Processing Letters, 1988
- On the algebraic definition of programming languagesACM Transactions on Programming Languages and Systems, 1987
- Special relations in automated deductionJournal of the ACM, 1986
- A complete, nonredundant algorithm for reversed SkolemizationTheoretical Computer Science, 1983
- The algebraic specification of abstract data typesActa Informatica, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Extracting information from resolution proof treesArtificial Intelligence, 1971
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967
- Properties preserved under homomorphismPacific Journal of Mathematics, 1959