Filter your results
- 3
- 1
- 3
- 1
- 4
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Bounded Model Checking of Recursive Programs with Pointers in K21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.59-76, ⟨10.1007/978-3-642-37635-1_4⟩
Conference papers
hal-01485978v1
|
||
Coalgebraic Methods in Computer ScienceSpringer, LNCS-8446, 2014, Coalgebraic Methods in Computer Science, 978-3-662-44123-7
Books
hal-01408765v1
|
|||
|
|
Product Rules and Distributive Laws13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.114-135, ⟨10.1007/978-3-319-40370-0_8⟩
Conference papers
hal-01446036v1
|
||
|
|
Defining Context-Free Power Series Coalgebraically11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.20-39, ⟨10.1007/978-3-642-32784-1_2⟩
Conference papers
hal-01539885v1
|