PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Tannen, Val"

Author of the publication

copydeleteadd this publication to your clipboard
First-Order Logic: Syntax.

. Encyclopedia of Database Systems, Springer US, (2009)

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.

Dr. Hugo Vale University of Stuttgart

Maria Claudia Valverde Rojas University of Stuttgart

Rainer Valek University of Stuttgart

Dr. phil. Johann Valentowitsch University of Stuttgart

 

Other publications of authors with the same name

A Generalization of Kleene's Theorem and Nondeterministic Structured Programming, and . Information and Control, 51 (2): 146-152 (November 1981)A Query Language for NC., and . J. Comput. Syst. Sci., 55 (2): 299-321 (1997)Update Exchange with Mappings and Provenance., , , and . VLDB, page 675-686. ACM, (2007)Deriving probabilistic databases with inference ensembles., , , and . ICDE, page 303-314. IEEE Computer Society, (2011)Physical Data Independence, Constraints, and Optimization with Universal Plans, , and . VLDB, page 459-470. Morgan Kaufmann, (1999)Provenance Analysis for Logic and Games., and . CoRR, (2019)Queries with Difference on Probabilistic Databases., , and . PVLDB, 4 (11): 1051-1062 (2011)PROPOLIS: Provisioned Analysis of Data-Centric Processes., , and . PVLDB, 6 (12): 1302-1305 (2013)First-Order Logic: Syntax.. Encyclopedia of Database Systems (2nd ed.), Springer, (2018)Extensional Models for Polymorphism., and . TAPSOFT, Vol.2, volume 250 of Lecture Notes in Computer Science, page 291-307. Springer, (1987)