A characterization of abstract data as model-theoretic invariants
- 1 January 1979
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Data type specificationPublished by Association for Computing Machinery (ACM) ,1978
- Reasoning about recursively defined data structuresPublished by Association for Computing Machinery (ACM) ,1978
- Abstract Data Types and Software ValidationPublished by Defense Technical Information Center (DTIC) ,1976
- A technique for implementing a set processorPublished by Association for Computing Machinery (ACM) ,1976
- Programming with abstract data typesPublished by Association for Computing Machinery (ACM) ,1974
- Categories for the Working MathematicianPublished by Springer Nature ,1971