Paul Spruit

Publication Activity (10 Years)

Years Active: 1991-2001
Publications (10 Years): 0

Publications

Paul Spruit, Roel J. Wieringa, John-Jules Ch. Meyer
Regular database update logics. Theor. Comput. Sci. 254 (1-2) (2001)
Paul Spruit, Roel J. Wieringa, John-Jules Ch. Meyer
Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. J. Log. Comput. 5 (1) (1995)
Roel J. Wieringa, Wiebren de Jonge, Paul Spruit
Using Dynamic Classes and Role Classes to Model Object Migration. Theory Pract. Object Syst. 1 (1) (1995)
Roel J. Wieringa, Wiebren de Jonge, Paul Spruit
Roles and Dynamic Subclasses: A Modal Logic Approach. ECOOP (1994)
Paul Spruit, Roel J. Wieringa, John-Jules Ch. Meyer
Dynamic Database Logic: the First-order Case. FMLDO (1992)
Paul Spruit, John-Jules Ch. Meyer, Roel J. Wieringa
Discussion Issues for a Working Group on Update Semantics of Logic Databases. FMLDO (1991)
Paul Spruit, Roel J. Wieringa
Some Finite-Graph Models for Process Algebra. CONCUR (1991)
Paul Spruit, John-Jules Ch. Meyer
Declarative Semantics of Passive and Active Updates in Logic Databases. FMLDO (1991)