Paul Spruit

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2001
j3		Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Regular database update logics. Theor. Comput. Sci. 254(1-2): 591-661 (2001)
	1995
j2		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)
j1		Roel Wieringa, Wiebren de Jonge, Paul Spruit: Using Dynamic Classes and Role Classes to Model Object Migration. TAPOS 1(1): 61-83 (1995)
	1994
c5		Roel Wieringa, Wiebren de Jonge, Paul Spruit: Roles and Dynamic Subclasses: A Modal Logic Approach. ECOOP 1994: 32-59
	1992
c4		Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Dynamic Database Logic: the First-order Case. FMLDO 1992: 103-120
	1991
c3		Paul Spruit, Roel Wieringa: Some Finite-Graph Models for Process Algebra. CONCUR 1991: 495-509
c2		Paul Spruit, John-Jules Ch. Meyer: Declarative Semantics of Passive and Active Updates in Logic Databases. FMLDO 1991: 37-46
c1		Paul Spruit, John-Jules Ch. Meyer, Roel Wieringa: Discussion Issues for a Working Group on Update Semantics of Logic Databases. FMLDO 1991: 209-210

Coauthor Index

Last update Thu May 23 23:04:30 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page