| 2001 |
|---|
| 8 | EE | Paul Spruit,
Roel Wieringa,
John-Jules Ch. Meyer:
Regular database update logics.
Theor. Comput. Sci. 254(1-2): 591-661 (2001) |
| 1995 |
|---|
| 7 | | Paul Spruit,
Roel Wieringa,
John-Jules Ch. Meyer:
Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases.
J. Log. Comput. 5(1): 27-70 (1995) |
| 6 | | Roel Wieringa,
Wiebren de Jonge,
Paul Spruit:
Using Dynamic Classes and Role Classes to Model Object Migration.
TAPOS 1(1): 61-83 (1995) |
| 1994 |
|---|
| 5 | EE | Roel Wieringa,
Wiebren de Jonge,
Paul Spruit:
Roles and Dynamic Subclasses: A Modal Logic Approach.
ECOOP 1994: 32-59 |
| 1992 |
|---|
| 4 | | Paul Spruit,
Roel Wieringa,
John-Jules Ch. Meyer:
Dynamic Database Logic: the First-order Case.
FMLDO 1992: 103-120 |
| 1991 |
|---|
| 3 | | Paul Spruit,
Roel Wieringa:
Some Finite-Graph Models for Process Algebra.
CONCUR 1991: 495-509 |
| 2 | | Paul Spruit,
John-Jules Ch. Meyer,
Roel Wieringa:
Discussion Issues for a Working Group on Update Semantics of Logic Databases.
FMLDO 1991: 209-210 |
| 1 | | Paul Spruit,
John-Jules Ch. Meyer:
Declarative Semantics of Passive and Active Updates in Logic Databases.
FMLDO 1991: 37-46 |
