Filter your results
- 7
- 7
- 7
- 2
- 1
- 3
- 1
- 7
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
On Algebras with Effectful Iteration14th 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
|
||
|
Canonical Nondeterministic Automata12th 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
|
||
|
How to Kill Epsilons with a Dagger12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩
Conference papers
hal-01408752v1
|
||
|
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.56-77, ⟨10.1007/978-3-030-00389-0_5⟩
Conference papers
hal-02044640v1
|
||
|
On Finitary Functors and Their Presentations11th 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
|
||
|
Generic Hoare Logic for Order-Enriched Effects with Exceptions23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.208-222, ⟨10.1007/978-3-319-72044-9_14⟩
Conference papers
hal-01767479v1
|
||
|
Towards a Coalgebraic Chomsky Hierarchy8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.265-280, ⟨10.1007/978-3-662-44602-7_21⟩
Conference papers
hal-01402071v1
|