( en | de | ru )

 

Disambiguierung von "ten Cate, Balder"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The complexity of query containment in expressive fragments of XPath 2.0.

, und . PODS, Seite 73-82. ACM, (2007)

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.

Abraham P ˜tenœ Cate

Robert Balder

Hartmut Balder

Balder Preuss

Balder Schäuffelen

 

Weitere Publikationen von Autoren mit dem selben Namen

High-Level Why-Not Explanations using Ontologies., , , und . PODS, Seite 31-43. ACM, (2015)Axiomatizing the Logical Core of XPath 2.0., und . ICDT, Volume 4353 von Lecture Notes in Computer Science, Seite 134-148. Springer, (2007)Modal languages for topology: Expressivity and definability., , und . Ann. Pure Appl. Log., 159 (1-2): 146-170 (2009)Inference from Visible Information and Background Knowledge., , , , und . ACM Trans. Comput. Log., 22 (2): 13:1-13:69 (2021)Structural Characterizations of Schema-Mapping Languages, und . Communications of the ACM, 53 (1): 101--110 (2010)On the Complexity of Hybrid Logics with Binders., und . CSL, Volume 3634 von Lecture Notes in Computer Science, Seite 339-354. Springer, (2005)Beth Definability in Expressive Description Logics., , und . IJCAI, Seite 1099-1106. IJCAI/AAAI, (2011)Interpolation with Decidable Fixpoint Logics., , und . LICS, Seite 378-389. IEEE Computer Society, (2015)Lindstrom theorems for fragments of first-order logic., , und . LICS, Seite 280-292. IEEE Computer Society, (2007)Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees., und . LFCS, Volume 5407 von Lecture Notes in Computer Science, Seite 180-196. Springer, (2009)