Centrum Wiskunde & Informatica

A final coalgebra for k-regular sequences In Proceedings

H.H. Hansen (Helle), C.A. Kupke (Clemens), J.J.M.M. Rutten (Jan) and J. Winter (Joost)

January 2014
A note on typed behavioural differential equations In Proceedings

H.H. Hansen (Helle), H. Basold (Henning) and J.J.M.M. Rutten (Jan)

January 2014
Leaving traces: a note on a sound and complete trace logic for concurrent constraint programs In Proceedings

F.S. de Boer (Frank) and M. Gabbrielli

January 2014
Combining Bialgebraic Semantics and Equations In Proceedings

J.C. Rot (Jurriaan) and M.M. Bonsangue (Marcello)

January 2014
Integrating Testing into Agile Software Development Processes In Proceedings

M.M. Bonsangue (Marcello), R. van den Broek, M. Chaudron and H. van Merode

January 2014
Orentation master's plant sciences and natural products Presentation

R.M.H. Merks (Roeland)

January 2014
Tracing program transformations with string origins In Proceedings

P.A. Inostroza Valdera (Pablo), T. van der Storm (Tijs) and S. Erdweg (Sebastian)

January 2014
Capture-avoiding and hygienic program transformations In Proceedings

S. Erdweg (Sebastian), T. van der Storm (Tijs) and Y. Dai (Yi)

January 2014

Previous

Next