The data type variety of stack algebras
- 16 May 1995
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 73 (1) , 11-36
- https://doi.org/10.1016/0168-0072(94)00038-5
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Termination of rewritingJournal of Symbolic Computation, 1987
- Algebraic specifications of computable and semicomputable data typesTheoretical Computer Science, 1987
- Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization TheoremsSIAM Journal on Computing, 1983
- The completeness of the algebraic specification methods for computable data typesInformation and Control, 1982
- CONSTRUCTIVE ALGEBRAS IRussian Mathematical Surveys, 1961