Foundations for stepwise refinement of program specifications via cylindric algebra theory
I. Néméti (1982)
Diagrammes
Similarity:
Displaying similar documents to “On clones determined by their initial segments”
Foundations for stepwise refinement of program specifications via cylindric algebra theory
On synchronized relatively full embeddings and -universality
V. Koubek, J. Sichler (2008)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
On algebraic specifications of computable algebras with the discriminator technique
G. Gagliardi, S. Tulipani (1990)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
An imperative language based on distributive categories II
Wafaa Khalil, R. F. C. Walters (1993)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Final dialgebras : from categories to allegories
Roland Backhouse, Paul Hoogendijk (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
CPO-models for second order lambda calculus with recursive types and subtyping
E. Poll, C. Hemerik, H. M. M. Ten Eikelder (1993)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Théories des bornes
J. Rosický (1979)
Diagrammes
Similarity: