Abstract data types as lattices of finitely generated models
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 673-685
- https://doi.org/10.1007/bfb0022542
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Data types, abstract data types and their specification problemTheoretical Computer Science, 1979
- Notes on type abstractionPublished by Springer Nature ,1979
- Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und FunktionszeichenArchive for Mathematical Logic, 1978
- Data type specificationPublished by Association for Computing Machinery (ACM) ,1978
- The algebraic specification of abstract data typesActa Informatica, 1978
- Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthaltenmanuscripta mathematica, 1977
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970