PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Spruit, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Some Finite-Graph Models for Process Algebra.

, and . CONCUR, volume 527 of Lecture Notes in Computer Science, page 495-509. Springer, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

PD Dr. Simon Paulus University of Stuttgart

Prof. Dr. Paul Keller University of Stuttgart

Paul Betz University of Stuttgart

Moritz Paul University of Stuttgart

Kerstin Paul University of Stuttgart

 

Other publications of authors with the same name

Declarative Semantics of Passive and Active Updates in Logic Databases., and . FMLDO, volume 91/3 of Informatik-Berichte des IfI, page 37-46. Technische Universität Clausthal, (1991)Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases., , and . J. Log. Comput., 5 (1): 27-70 (1995)Dynamic Database Logic: the First-order Case., , and . FMLDO, page 103-120. Springer, (1992)Roles and Dynamic Subclasses: A Modal Logic Approach., , and . ECOOP, volume 821 of Lecture Notes in Computer Science, page 32-59. Springer, (1994)Some Finite-Graph Models for Process Algebra., and . CONCUR, volume 527 of Lecture Notes in Computer Science, page 495-509. Springer, (1991)Discussion Issues for a Working Group on Update Semantics of Logic Databases., , and . FMLDO, volume 91/3 of Informatik-Berichte des IfI, page 209-210. Technische Universität Clausthal, (1991)Using Dynamic Classes and Role Classes to Model Object Migration., , and . TAPOS, 1 (1): 61-83 (1995)Regular database update logics., , and . Theor. Comput. Sci., 254 (1-2): 591-661 (2001)