Showing 1 - 13 results of 13 for search 'Schwentick, T', query time: 0.02s
Refine Results
-
1
Local Normal Forms for First-Order Logic with Applications to Games and Automata by Thomas Schwentick, Klaus Barthelmann
Published 1999-01-01
Article -
2
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables by Frank Neven, Thomas Schwentick
Published 2006-07-01
Article -
3
Two-Variable Logic with Two Order Relations by Thomas Schwentick, Thomas Zeume
Published 2012-03-01
Article -
4
Second−Order Logic over Strings: Regular and Non−regular Fragments by Eiter, T, Gottlob, G, Schwentick, T
Published 2001Conference item -
5
Winning strategies for streaming rewriting games by Coester, Christian, Schwentick, T, Schuster, M
Published 2019Conference item -
6
Generalized hypertree decompositions: np-hardness and tractable variants. by Gottlob, G, Miklós, Z, Schwentick, T
Published 2007Journal article -
7
Existential second−order logic over graphs: Charting the tractability frontier by Gottlob, G, Kolaitis, P, Schwentick, T
Published 2004Journal article -
8
Existential Second−Order Logic over Graphs: Charting the Tractability Frontier by Gottlob, G, Kolaitis, P, Schwentick, T
Published 2000Conference item -
9
Generalized hypertree decompositions: np−hardness and tractable variants by Gottlob, G, Miklós, Z, Schwentick, T
Published 2007Conference item -
10
Rewriting with Acyclic Queries: Mind Your Head by Gaetano Geck, Jens Keppeler, Thomas Schwentick, Christopher Spinrath
Published 2023-11-01
Article -
11
A Strategy for Dynamic Programs: Start over and Muddle through by Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume
Published 2019-05-01
Article -
12
-
13