Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2001 | 1995 | 1994 | 1991
Number of items: 4.

2001

Spruit, Paul and Wieringa, Roel and Meyer, John-Jules (2001) Regular database update logics. Theoretical Computer Science, 254 (1-2). pp. 591-661. ISSN 0304-3975

1995

Wieringa, Roel and Jonge, Wiebren de and Spruit, Paul (1995) Using Dynamic Classes and Role Classes to Model Object Migration. Theory and Practice of Object Systems, 1 (1). pp. 61-83. ISSN 1074-3227

1994

Wieringa, Roel and Jonge, Wiebren de and Spruit, Paul (1994) Roles and dynamic subclasses: a modal logic approach. In: European Conference on Object-Oriented Programming, ECOOP 1994, 4-8 July 1994, Bologna, Italy (pp. pp. 32-59).

1991

Spruit, Paul and Wieringa, Roel (1991) Some finite-graph models for process algebra. In: 2nd International Conference on Concurrency Theory, CONCUR 1991, 26-29 August 1991, Amsterdam, The Netherlands (pp. pp. 495-509).

This list was generated on Thu Nov 27 05:35:59 2014 CET.