|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud |
Decorated proofs for computational effects: States ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCAT ![In: Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012., pp. 45-59, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zinovy Diskin, T. S. E. Maibaum |
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCAT ![In: Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012., pp. 1-21, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Gabriel, Frank Hermann 0001 |
Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCAT ![In: Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012., pp. 83-104, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Harald König, Uwe Wolter, Michael Löwe |
Characterizing Van Kampen Squares via Descent Data ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCAT ![In: Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012., pp. 61-81, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ulrike Golas, Thomas Soboll (eds.) |
Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCAT ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Diego Latella, Mieke Massink, Erik P. de Vink |
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCAT ![In: Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012., pp. 23-43, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|