Searching for authors named "Clemens Lautemann" – sorted by Relevance.
-
Logical Definability of NP-Optimisation Problems with Monadic Auxiliary Predicates
- Lautemann Institut fur Informatik, Johannes Gutenberg--Universitat Mainz Abstract. Given a first
- Cited by 1 (0 self) – Add To MetaCart
-
An Ehrenfeucht-Fraïssé approach to collapse results for first-order queries over embedded databases
- (Full Paper) Clemens Lautemann and Nicole Schweikardt Institut fur Informatik / FB 17 Johannes
- Add To MetaCart
-
An algebraic point of view on the crane-beach conjecture, 2006. Document in preparation
- An Algebraic Point of View on the Crane-Beach Conjecture Clemens Lautemann, Pascal Tesson ⋆1
- Cited by 1 (0 self) – Add To MetaCart
-
The Descriptive Complexity Approach to LOGCFL
- The Descriptive Complexity Approach to LOGCFL Clemens Lautemann , Pierre McKenzie y , Thomas
- Cited by 8 (4 self) – Add To MetaCart
-
A Logical Characterisation of Linear Time on Nondeterministic Turing Machines
- A Logical Characterisation of Linear Time on Nondeterministic Turing Machines Clemens Lautemann
- Add To MetaCart
-
On the Power of Polynomial Bit-Reductions
- Trier D-5500 Trier, Germany Clemens Lautemann and Thomas Schwentick Institut fur Informatik
- Cited by 2 (0 self) – Add To MetaCart
-
Fragments of Binary NP
- Fragments of Binary NP (Draft) Arnaud Durand Universit'e de Caen & Clemens Lautemann Thomas
- Cited by 1 (0 self) – Add To MetaCart
-
Subclasses of Binary NP
- Subclasses of Binary NP March 8, 1996 Arnaud Durand Universit'e de Caen Clemens Lautemann Thomas
- Cited by 11 (5 self) – Add To MetaCart
-
The Descriptive Complexity Approach to LOGCFL
- The Descriptive Complexity Approach to LOGCFL Clemens Lautemann , Pierre McKenzie y , Thomas
- Cited by 1 (0 self) – Add To MetaCart
-
Logics For Context-Free Languages
- Logics For Context--Free Languages Clemens Lautemann 1 Thomas Schwentick 1 Denis Th'erien 2? 1
- Cited by 19 (5 self) – Add To MetaCart

