Lawvere's elementary theories and polyadic and cylindric algebras
Aubert Daigenault (1970)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Model Checking. Part I”
Lawvere's elementary theories and polyadic and cylindric algebras
Weakly monadic Boolean extension functors
J. Dukarm (1980)
Fundamenta Mathematicae
Similarity:
When is a cogenerator in a topos ?
Francis Borceux (1975)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
On distributive homological algebra, II. Theories and models
Marco Grandis (1984)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
On categories determined by poset- and set-valued functors
Jan Menu, Aleš Pultr (1974)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Sheaves and concepts : a model-theoretic interpretation of Grothendieck topoi
Gonzalo E. Reyes (1977)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
On a Foundation for Mathematics- a View of Mathematics I
Milan Đurić (1977)
Zbornik Radova
Similarity: