|
|
|
|
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 | Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange (eds.) |
Proceedings of the Second Workshop on Applied and Computational Category Theory, ACCAT@ETAPS 2007, Braga, Portugal, March 25, 2007  |
ACCAT@ETAPS  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Zinovy Diskin, Uwe Wolter |
A Diagrammatic Logic for Object-Oriented Visual Modeling. |
ACCAT@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas |
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. |
ACCAT@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrike Prange |
Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories. |
ACCAT@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange |
Preface. |
ACCAT@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
G-Reactive Systems as Coalgebras. |
ACCAT@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license