dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Paul Spruit (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Regular database update logics. Theor. Comput. Sci. 254(1-2): 591-661 (2001)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul 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)
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Wiebren de Jonge, Paul Spruit: Using Dynamic Classes and Role Classes to Model Object Migration. TAPOS 1(1): 61-83 (1995)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Wiebren de Jonge, Paul Spruit: Roles and Dynamic Subclasses: A Modal Logic Approach. ECOOP 1994: 32-59
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Dynamic Database Logic: the First-order Case. FMLDO 1992: 103-120
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Spruit, Roel Wieringa: Some Finite-Graph Models for Process Algebra. CONCUR 1991: 495-509
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Spruit, John-Jules Ch. Meyer, Roel Wieringa: Discussion Issues for a Working Group on Update Semantics of Logic Databases. FMLDO 1991: 209-210

Selection of 7 from 8 records - Paul Spruit has 3 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page