Paul Spruit

Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases

Roel Wieringa, John-Jules Ch. Meyer, Paul Spruit, 1995, J. Log. Comput..

Some Finite-Graph Models for Process Algebra

Roel Wieringa, Paul Spruit, R. Wieringa, 1991, CONCUR.

Regular database update logics

Roel Wieringa, John-Jules Ch. Meyer, Paul Spruit, 2001, Theor. Comput. Sci..

Using Dynamic Classes and Role Classes to Model Object Migration

Roel Wieringa, Wiebren de Jonge, Paul Spruit, 1995, Theory Pract. Object Syst..

Roles and Dynamic Subclasses: A Modal Logic Approach

Roel Wieringa, Wiebren de Jonge, Paul Spruit, 1994, ECOOP.

Declarative Semantics of Passive and Active Updates in Logic Databases

John-Jules Ch. Meyer, Paul Spruit, 1991, FMLDO.

Discussion Issues for a Working Group on Update Semantics of Logic Databases

Roel Wieringa, John-Jules Ch. Meyer, Paul Spruit, 1991, FMLDO.

Dynamic Database Logic: the First-order Case

Roel Wieringa, John-Jules Ch. Meyer, Paul Spruit, 1992, FMLDO.