Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

5 results
Page :
sorted by
Image document

On Finitary Functors and Their Presentations

 Jiří Adámek , Stefan Milius , Lawrence S. Moss
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.51-70, ⟨10.1007/978-3-642-32784-1_4⟩
Conference papers hal-01539879v1
Image document

Approximate Coalgebra Homomorphisms and Approximate Solutions

 Jiří Adámek
15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.11-31, ⟨10.1007/978-3-030-57201-3_2⟩
Conference papers hal-03232353v1
Image document

Fixed Points of Functors - A Short Abstract

 Jiří Adámek
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.1-4, ⟨10.1007/978-3-319-40370-0_1⟩
Conference papers hal-01446029v1
Image document

On Algebras with Effectful Iteration

 Stefan Milius , Jiří Adámek , Henning Urbat
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.144-166, ⟨10.1007/978-3-030-00389-0_9⟩
Conference papers hal-02044647v1
Image document

Canonical Nondeterministic Automata

 Robert R. Myers , Jiří Adámek , Stefan Milius , Henning Urbat
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.189-210, ⟨10.1007/978-3-662-44124-4_11⟩
Conference papers hal-01408760v1
Page :