MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Thomas Schwentick" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

48 documents found, showing 1 through 10. Next 10 →

ATOM

Padding and the Expressive Power of Existential Second-Order Logics
by Thomas Schwentick — 1997 — Proceedings of the Annual Conference of the European Association for Computer Science Logic, Lecture Notes in Computer Science
…Padding and the Expressive Power of Existential Second-Order Logics Thomas Schwentick Universitat…
Cited by 2 (1 self) – Add To MetaCart

Algebraic and Logical Characterizations of Deterministic Linear Time Classes
by Thomas Schwentick — 1996 — In Proc. 14th Symposium on Theoretical Aspects of Computer Science STACS 97
…Algebraic and Logical Characterizations of Deterministic Linear Time Classes Thomas Schwentick…
Cited by 1 (1 self) – Add To MetaCart

On Bijections vs. Unary Functions
by Thomas Schwentick — 1996 — In Proc. 13th Symposium on Theoretical Aspects of Computer Science--STACS 96
…On Bijections vs. Unary Functions Thomas Schwentick Universitat Mainz Institut fur Informatik…
Cited by 2 (1 self) – Add To MetaCart

Graph Connectivity and Monadic NP
by Thomas Schwentick — 1994 — In Proc. 35th IEEE Symp. on Foundations of Computer Science
… Graph Connectivity and Monadic NP Thomas Schwentick Institut fur Informatik Universitat Mainz…
Cited by 17 (8 self) – Add To MetaCart

On Winning Ehrenfeucht Games and Monadic NP
by Thomas Schwentick — 1996 — Annals of Pure and Applied Logic
…On Winning Ehrenfeucht Games and Monadic NP Thomas Schwentick January 8, Abstract…
Cited by 17 (3 self) – Add To MetaCart

A Note on Set Bit Enumeration
by Thomas Schwentick, J. Ramachandran — 1993
… A Note on Set Bit Enumeration Thomas Schwentick Johannes-Gutenberg Universitat Mainz tick…
Cited by 2 (1 self) – Add To MetaCart

Local Normal Forms for First-Order Logic with Applications to Games and Automata
by Thomas Schwentick, Klaus Barthelmann — 1999 — Discrete Mathematics and Theoretical Computer Science
… for First-Order Logic with Applications to Games and Automata Thomas Schwentick and Klaus Barthelmann…
Cited by 9 (1 self) – Add To MetaCart

On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
by Frank Neven, Thomas Schwentick — 2006 — Logical Methods in Computer Science
… Neven Hasselt University frank.neven@(email omitted); Thomas Schwentick Philipps-Universität Marburg tick…
Cited by 4 (1 self) – Add To MetaCart

Bounded-variable fragments of hybrid logics
by Thomas Schwentick, Volker Weber — 2007 — In Proc. of the 24th International Symposium on Theoretical Aspects of Computer Science (STACS 2007), volume 4393 of LNCS
…Bounded-Variable Fragments of Hybrid Logics Thomas Schwentick and Volker Weber Fachbereich…
Cited by 2 (1 self) – Add To MetaCart

Locality of Order-Invariant First-Order Formulas
by Martin Grohe, Thomas Schwentick
… and Thomas Schwentick Johannes-Gutenberg-Universitat Mainz A query is local if the decision of whether a…
Cited by 9 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB