default search action

combined dblp search
author search
venue search
publication search

ask others

7th ACCAT 2012: Tallinn, Estonia

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-4301
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-4301
Ulrike Golas, Thomas Soboll:
Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012. EPTCS 93, 2012
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1209-1433
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1209-1433
Zinovy Diskin, T. S. E. Maibaum:
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond. 1-21
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1209-1432
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1209-1432
Diego Latella, Mieke Massink, Erik P. de Vink:
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages. 23-43
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1112-2396
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1112-2396
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud:
Decorated proofs for computational effects: States. 45-59
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1209-1435
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1209-1435
Harald König, Uwe Wolter, Michael Löwe:
Characterizing Van Kampen Squares via Descent Data. 61-81
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1209-1436
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1209-1436
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

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.