Login / Signup
ACCAT
2012
2012
2012
Keyphrases
Publications
2012
Jean-Guillaume Dumas
,
Dominique Duval
,
Laurent Fousse
,
Jean-Claude Reynaud
Decorated proofs for computational effects: States
ACCAT
(2012)
Zinovy Diskin
,
T. S. E. Maibaum
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
ACCAT
(2012)
Hanna Schölzel
,
Hartmut Ehrig
,
Maria Maximova
,
Karsten Gabriel
,
Frank Hermann
Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories
ACCAT
(2012)
Harald König
,
Uwe Wolter
,
Michael Löwe
Characterizing Van Kampen Squares via Descent Data
ACCAT
(2012)
Diego Latella
,
Mieke Massink
,
Erik P. de Vink
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages
ACCAT
(2012)
volume 93, 2012
Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012.
ACCAT
93 (2012)