Foundations for stepwise refinement of program specifications via cylindric algebra theory
I. Néméti (1982)
Diagrammes
Similarity:
Displaying similar documents to “Théories des bornes”
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 clones determined by their initial segments
J. Sichler, V. Trnková (2008)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Reflexive and antisymmetric relations and their systems
Jiří Rachůnek (1981)
Czechoslovak Mathematical Journal
Similarity:
Protomodular quasivarieties of universal algebras
A. H. Roque (2008)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Essentially equational categories
J. Adámek, H. Herrlich, J. Rosický (1988)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: