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

Filter your results

2 results
authFullName_s : Joost Winter
Image document

Product Rules and Distributive Laws

Joost Winter
13th 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
Image document

Defining Context-Free Power Series Coalgebraically

Marcello M. Bonsangue , Jan Rutten , Joost Winter
11th 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