Theoretical Computer Science

Research Output 1993 2019

Filter
Book editing
2005

Proceedings of the 1st International Workshop on Algebra and Coalgebra in Computer Science (CALCO'05)

Fiadeiro, J. L. (ed.), Harman, N. (ed.), Roggenbach, M. (ed.) & Rutten, J. J. M. M. (ed.), 2005, Berlin: Springer. (LNCS; no. 3629)

Research output: Book / ReportBook editingAcademic

Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Klop, J.W., on the Occasion of His 60th Birthday

Middeldorp, A. (ed.), van Oostrom, V. (ed.), van Raamsdonk, F. (ed.) & de Vrijer, R. C. (ed.), 2005, Berlin: Springer. (Lecture Notes in Computer Science; no. 3838)

Research output: Book / ReportBook editingAcademic

Special issue of the 1st Workshop on Structural Operational Semantics

Aceto, L. (ed.), Fokkink, W. J. (ed.) & Ulidowski, I. (ed.), 2005, Elsevier. (Electronic Notes in Theoretical Computer Science; no. 128)

Research output: Book / ReportBook editingAcademic

2004

Proceedings of the 2nd International Workshop on Higher-Order Rewriting (HOR 2004)

Kesner, D. (ed.), van Raamsdonk, F. (ed.) & Wells, J. (ed.), 2004, Unknown Publisher. (Aachener Informatik-Berichte; no. AIB-2004-03)

Research output: Book / ReportBook editingAcademic

2003

Proceedings of the 8th Workshop on Formal Methods for Industrial Critical Systems

Arts, T. (ed.) & Fokkink, W. J. (ed.), 2003, Elsevier. (Electronic Notes in Theoretical Computer Science; no. 80)

Research output: Book / ReportBook editingAcademic

2002

Proceedings of the First International Workshop on Higher-Order Rewriting (HOR 2002)

Kesner, D. (ed.), Nipkow, N. (ed.) & van Raamsdonk, F. (ed.), 2002, Copenhagen, Denmark: Unknown Publisher.

Research output: Book / ReportBook editingAcademic