From post

First-Order Provenance Games.

, , и . In Search of Elegance in the Theory and Practice of Computation, том 8000 из Lecture Notes in Computer Science, стр. 382-399. Springer, (2013)

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.

 

Другие публикации лиц с тем же именем

A Semantic Mediation Approach for Problems in Computational Molecular Biology., , , , , , и . CSB, стр. 386-387. IEEE Computer Society, (2003)DataONE: A Data Federation with Provenance Support., , , , , , , , , и 2 other автор(ы). IPAW, том 9672 из Lecture Notes in Computer Science, стр. 230-234. Springer, (2016)Referential Actions: From Logical Semantics to Implementation., и . EDBT, том 1377 из Lecture Notes in Computer Science, стр. 404-418. Springer, (1998)Updates by Reasoning about States., и . East/West Database Workshop, стр. 17-30. Springer, (1994)On implementing provenance-aware regular path queries with relational query engines., , , , , и . EDBT/ICDT Workshops, стр. 214-223. ACM, (2013)Exploring Scientific Workflow Provenance Using Hybrid Queries over Nested Data and Lineage Graphs., , , и . SSDBM, том 5566 из Lecture Notes in Computer Science, стр. 237-254. Springer, (2009)ProPub: Towards a Declarative Approach for Publishing Customized, Policy-Aware Provenance., , и . SSDBM, том 6809 из Lecture Notes in Computer Science, стр. 225-243. Springer, (2011)A Logical Framework for Active Rules., , и . COMAD, Tata McGraw-Hill, (1995)Scientific workflow management and the Kepler system, , , , , , , , и . Concurrency and Computation: Practice and Experience, 18 (10): 1039--1065 (2005)Scientific workflow management and the Kepler system, , , , , , , , и . Concurrency and Computation: Practice and Experience, 18 (10): 1039-1065 (2006)