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

Filter your results

2 results
authFullName_s : Jiří Adámek
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

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