- Record: found
- Abstract: not found
- Book Chapter: not found
Mathematical Foundations of Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP' 85)
On observational equivalence and algebraic specification
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references16
- Record: found
- Abstract: not found
- Article: not found
An Unsolvable Problem of Elementary Number Theory
Alonzo Church (1936)
- Record: found
- Abstract: not found
- Book Chapter: not found
The semantics of clear, a specification language
R. M. Burstall, J. Goguen (1980)
- Record: found
- Abstract: not found
- Article: not found
Axioms for abstract model theory
K. Jon Barwise (1974)