|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jirí Adámek, Stefan Milius, Jirí Velebil |
Recursive Program Schemes and Context-Free Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS@ETAPS ![In: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010, pp. 3-23, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Komenda |
Coinduction in Concurrent Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS@ETAPS ![In: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010, pp. 177-197, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva 0001 |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS@ETAPS ![In: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010, pp. 1-2, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001 |
From Coalgebraic to Monoidal Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS@ETAPS ![In: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010, pp. 125-140, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bartek Klin |
Structural Operational Semantics and Modal Logic, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS@ETAPS ![In: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010, pp. 155-175, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kazuyuki Asada, Ichiro Hasuo |
Categorifying Computations into Components via Arrows as Profunctors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS@ETAPS ![In: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010, pp. 25-45, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jiho Kim |
Higher-order Algebras and Coalgebras from Parameterized Endofunctors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS@ETAPS ![In: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010, pp. 141-154, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Corina Cîrstea |
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS@ETAPS ![In: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010, pp. 83-103, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hauhs, Baltasar Trancón y Widemann |
Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS@ETAPS ![In: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010, pp. 105-123, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Balan, Alexander Kurz 0001 |
On Coalgebras over Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS@ETAPS ![In: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010, pp. 47-62, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Ciancia, Alexander Kurz 0001, Ugo Montanari |
Families of Symmetries as Efficient Models of Resource Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS@ETAPS ![In: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010, pp. 63-81, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva 0001 (eds.) |
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|