Automata and categories
Symeon Bozapalides, Anestis Firarides (1982)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Displaying similar documents to “Categorical approach to nonlinear constant continuous-time systems”
Automata and categories
Compositional characterization of observable program properties
B. Steffen, C. Barry Jay, M. Mendler (1992)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
An extension of the notions of traces and of asynchronous automata
A. Arnold (1991)
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:
Fibrations and recursivity
Richard Mijoule (1995)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Relational morphisms and operations on recognizable sets
Howard Straubing (1981)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Foundations for stepwise refinement of program specifications via cylindric algebra theory
I. Néméti (1982)
Diagrammes
Similarity: