scientific article; zbMATH DE number 88946
From MaRDI portal
Publication:4016523
Recommendations
Cited in
(19)- A theory for program and data type specification
- Reconstructing the heart
- Recent trends in data type specification. 9th Workshop on Specification of abstract data types joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected papers
- Computation on abstract data types. The extensional approach, with an application to streams
- scientific article; zbMATH DE number 1617307 (Why is no real title available?)
- An abstract decision procedure for satisfiability in the theory of recursive data types
- scientific article; zbMATH DE number 3881860 (Why is no real title available?)
- Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information
- scientific article; zbMATH DE number 4007703 (Why is no real title available?)
- Deterministic and nondeterministic computation, and horn programs, on abstract data types
- scientific article; zbMATH DE number 1350001 (Why is no real title available?)
- scientific article; zbMATH DE number 1008445 (Why is no real title available?)
- scientific article; zbMATH DE number 1086643 (Why is no real title available?)
- scientific article; zbMATH DE number 3999265 (Why is no real title available?)
- scientific article; zbMATH DE number 749802 (Why is no real title available?)
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
- Theory of computation over stream algebras, and its applications
- Recents trends in data type specification. 8th workshop on specification of abstract data types joint with the 3rd COMPASS workshop, Dourdan, France, August 26-30, 1991. Selected papers
- A systematic study of models of abstract data types
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4016523)
