|
Search the dblp DataBase
Paul Spruit:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Roel Wieringa, Wiebren de Jonge, Paul Spruit
Roles and Dynamic Subclasses: A Modal Logic Approach. [Citation Graph (3, 0)][DBLP] ECOOP, 1994, pp:32-59 [Conf]
- Roel Wieringa, Wiebren de Jonge, Paul Spruit
Using Dynamic Classes and Role Classes to Model Object Migration. [Citation Graph (2, 0)][DBLP] TAPOS, 1995, v:1, n:1, pp:61-83 [Journal]
- Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer
Dynamic Database Logic: the First-order Case. [Citation Graph (1, 0)][DBLP] FMLDO, 1992, pp:103-120 [Conf]
- Paul Spruit, Roel Wieringa
Some Finite-Graph Models for Process Algebra. [Citation Graph (0, 0)][DBLP] CONCUR, 1991, pp:495-509 [Conf]
- Paul Spruit, John-Jules Ch. Meyer
Declarative Semantics of Passive and Active Updates in Logic Databases. [Citation Graph (0, 0)][DBLP] FMLDO, 1991, pp:37-46 [Conf]
- Paul Spruit, John-Jules Ch. Meyer, Roel Wieringa
Discussion Issues for a Working Group on Update Semantics of Logic Databases. [Citation Graph (0, 0)][DBLP] FMLDO, 1991, pp:209-210 [Conf]
- Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer
Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1995, v:5, n:1, pp:27-70 [Journal]
- Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer
Regular database update logics. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:254, n:1-2, pp:591-661 [Journal]
Search in 0.001secs, Finished in 0.002secs
|