MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Stephan Kreutzer" – sorted by Relevance.

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

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

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

ATOM

Operational Semantics for Fixed-Point Logics on Constraint Databases
by Stephan Kreutzer — 2001 — Logic for Programming, Artificial Intelligence, and Reasoning—Proceedings LPAR 2001, volume 2250 of Lecture Notes in Computer Science
…Operational Semantics for Fixed-Point Logics on Constraint Databases Stephan Kreutzer Lu…
Cited by 4 (0 self) – Add To MetaCart

Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls
by Stephan Kreutzer — 2001 — In Proceedings of the 8th International Conference on Database Theory (ICDT), number 1973 in Lecture Notes in Computer Science
… ? Stephan Kreutzer Lehrgebiet Mathematische Grundlagen der Informatik, RWTH Aachen, D-52056 Aachen…
Cited by 4 (1 self) – Add To MetaCart

Fixed-point query languages for linear constraint databases
by Stephan Kreutzer — 2000
…Fixed-Point Query Languages for Linear Constraint Databases ABSTRACT Stephan Kreutzer Lu…
Cited by 7 (1 self) – Add To MetaCart

Digraph measures: Kelly decompositions, games and orderings
by Paul Hunter, Stephan Kreutzer — 2007 — SODA ’07
…Digraph Measures: Kelly Decompositions, Games, and Orderings Paul Hunter and Stephan Kreutzer…
Cited by 1 (0 self) – Add To MetaCart

On Datalog vs. LFP
by Anuj Dawar, Stephan Kreutzer
…On Datalog vs. LFP Anuj Dawar and Stephan Kreutzer 1 University of Cambridge Computer Lab anuj…
Add To MetaCart

Fixed-Point Query Languages for Linear Constraint Databases
by Stephan Kreutzer Lufg, Stephan Kreutzer — 2000 — In 19th ACM Symposium on Principles of Database Systems
…Fixed-Point Query Languages for Linear Constraint Databases Stephan Kreutzer LuFG Mathematische…
Add To MetaCart

Operational Semantics for Fixed-Point Logics on Constraint Databases
by Stephan Kreutzer Rwth, Stephan Kreutzer — 2001 — Logic for Programming, Artificial Intelligence, and Reasoning—Proceedings LPAR 2001, volume 2250 of Lecture Notes in Computer Science
…Operational Semantics for Fixed-Point Logics on Constraint Databases Stephan Kreutzer ? RWTH…
Add To MetaCart

The expressive power of two-variable least fixed-point logics
by Martin Grohe, Stephan Kreutzer, Nicole Schweikardt
…The expressive power of two-variable least fixed-point logics Martin Grohe, Stephan Kreutzer…
Add To MetaCart

Descriptive complexity theory for constraint databases
by Stephan Kreutzer, Lehrgebiet Mathematische, Grundlagen Informatik — 1999 — In Computer Science Logic, number 1683 in LNCS
… Descriptive Complexity Theory for Constraint Databases Erich Gr"adel and Stephan Kreutzer…
Cited by 8 (4 self) – Add To MetaCart

Once Upon a Time in the West - Determinacy, definability, and complexity of path games
by Dietmar Berwanger, Erich Grädel, Stephan Kreutzer
… Berwanger 1 , Erich Gradel 1 , and Stephan Kreutzer 2 1 Aachen University 2 University of Edinburgh…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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