Paul Spruit

According to our database, Paul Spruit authored at least 8 papers between 1991 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Regular database update logics.

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

Theor. Comput. Sci., 2001

1995

Using Dynamic Classes and Role Classes to Model Object Migration.

Roel J. Wieringa, Wiebren de Jonge, Paul Spruit

Theory Pract. Object Syst., 1995

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

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

J. Log. Comput., 1995

1994

Roles and Dynamic Subclasses: A Modal Logic Approach.

Roel J. Wieringa, Wiebren de Jonge, Paul Spruit

Proceedings of the Object-Oriented Programming, Proceedings of the 8th European Conference, 1994

1992

Dynamic Database Logic: the First-order Case.

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

Proceedings of the Modelling Database Dynamics, 1992

1991

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

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

Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

Declarative Semantics of Passive and Active Updates in Logic Databases.

Paul Spruit, John-Jules Ch. Meyer

Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

Some Finite-Graph Models for Process Algebra.

Paul Spruit, Roel J. Wieringa

Proceedings of the CONCUR '91, 1991