CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Stream processing coalgebraically Article
Science of Computer Programming, 78(11), 2192-2215.January 2013
-
Varieties and covarieties of languages (preliminary version) In Proceedings
J.J.M.M. Rutten (Jan), A. Ballester-Bolinches and E. Cosme-Llopez
January 2013
-
Coinductive proof techniques for language equivalence In Proceedings
J.C. Rot (Jurriaan), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
January 2013
-
Harnessing Mathematics for Improved Ontology Alignment In Proceedings
January 2013 -
January 2013
-
Market Garden Software
January 2013 -
January 2013
-
Efficient and error-correcting data structures for membership and polynomial evaluation Article
SIAM Journal on complexity, 42(1), 84-111.January 2013