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 de, Wiebren 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 de, Wiebren 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.
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.
This list was generated on Tue May 21 06:17:59 2013 CEST.
Back to University of Twente portal