![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
7th ACCAT 2012: Tallinn, Estonia
- Ulrike Golas
, Thomas Soboll:
Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012. EPTCS 93, 2012 - Zinovy Diskin, T. S. E. Maibaum:
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond. 1-21 - Diego Latella
, Mieke Massink
, Erik P. de Vink:
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages. 23-43 - Jean-Guillaume Dumas
, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud:
Decorated proofs for computational effects: States. 45-59 - Harald König, Uwe Wolter, Michael Löwe:
Characterizing Van Kampen Squares via Descent Data. 61-81 - Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Gabriel, Frank Hermann:
Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories. 83-104
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.