Author of the publication

Completeness and Incompleteness of Trace-Based Network Proof Systems.

, , and . POPL, page 27-38. ACM Press, (1987)

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.

 

Other publications of authors with the same name

Representing uncertain data: models, properties, and algorithms., , , , and . VLDB J., 18 (5): 989-1019 (2009)Active Database Systems., , and . Modern Database Systems, ACM Press and Addison-Wesley, (1995)Introduction to Active Database Systems, and . Active Database Systems: Triggers and Rules For Advanced Database Processing, Morgan Kaufmann, (1996)Conclusions and Future Directions, and . Active Database Systems: Triggers and Rules For Advanced Database Processing, Morgan Kaufmann, (1996)Deductive and Active Databases: Two Paradigms or Ends of a Spectrum?. Rules in Database Systems, page 306-315. Springer, (1993)Data Management for XML: Research Directions.. IEEE Data Eng. Bull., 22 (3): 44-52 (1999)ULDBs: Databases with Uncertainty and Lineage., , , and . VLDB, page 953-964. ACM, (2006)Making Aggregation Work in Uncertain and Probabilistic Databases., , and . IEEE Trans. Knowl. Data Eng., 23 (8): 1261-1273 (2011)Incremental computation and maintenance of temporal aggregates., and . VLDB J., 12 (3): 262-283 (2003)The Starburst Active Database Rule System.. IEEE Trans. Knowl. Data Eng., 8 (4): 583-595 (1996)