Autor der Publikation

Topological elementary equivalence of closed semi-algebraic sets in the real plane

, , und . Journal of Symbolic Logic, 65 (4): 1530--1555 (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Deciding eventual consistency for a simple class of relational transducer networks., und . ICDT, Seite 86-98. ACM, (2012)Constraint databases: A tutorial introduction.. SIGMOD Record, 29 (3): 44-51 (2000)Data Provenance for SHACL., , , und . EDBT, Seite 285-297. OpenProceedings.org, (2023)Adding For-Loops to First-Order Logic., , , und . Inf. Comput., 168 (2): 156-186 (2001)Relative expressive power of navigational querying on graphs using transitive closure., , , , , , , und . Log. J. IGPL, 23 (5): 759-788 (2015)On the Satisfiability Problem of Patterns in SPARQL 1.1., , , und . AAAI, Seite 2054-2062. AAAI Press, (2018)A Computational Model for Generic Graph Functions., , , und . Dagstuhl Seminar on Graph Transformations in Computer Science, Volume 776 von Lecture Notes in Computer Science, Seite 170-187. Springer, (1993)Applications of Alfred Tarski's Ideas in Database Theory.. CSL, Volume 2142 von Lecture Notes in Computer Science, Seite 20-37. Springer, (2001)Complex Object Multi-Level Fixpoint Queries.. MFDBS, Volume 495 von Lecture Notes in Computer Science, Seite 1-13. Springer, (1991)On Topological Elementary Equivalence of Spatial Databases., , und . ICDT, Volume 1186 von Lecture Notes in Computer Science, Seite 432-446. Springer, (1997)