Searching for authors named "Nicole Schweikardt" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Arithmetic, First-Order Logic, and Counting Quantifiers
- …Arithmetic, First-Order Logic, and Counting Quantifiers Nicole Schweikardt Laboratory…
- Cited by 1 (0 self) – Add To MetaCart
-
On the expressive power of monadic least fixed point logic
- …Abstract On the Expressive Power of Monadic Least Fixed Point Logic ⋆ Nicole Schweikardt Institut…
- Cited by 1 (1 self) – Add To MetaCart
-
Submitted to the Symposium on Theoretical Aspects of Computer Science www.stacs-conf.org LOWER BOUNDS FOR MULTI-PASS PROCESSING OF MULTIPLE DATA STREAMS
- … BOUNDS FOR MULTI-PASS PROCESSING OF MULTIPLE DATA STREAMS NICOLE SCHWEIKARDT Institut für Informatik…
- 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
-
On Quantifier Elimination in Weak Direct Powers
- … Schweikardt z Abstract In the present paper the following question is investigated: How can quantier…
- Add To MetaCart
-
The succinctness of first-order logic on linear orders
- … SCHWEIKARDT ∗ Institut für Informatik, Humboldt-Universität Berlin Unter den Linden 6, D-10099 Berlin, Germany…
- Cited by 7 (1 self) – Add To MetaCart
-
The expressive power of two-variable least fixed-point logics
- …, and Nicole Schweikardt Institut für Informatik, Humboldt-Universität, Berlin {grohe…
- Add To MetaCart
-
Model theory makes formulas large
- … Schweikardt ∗∗ ∗ University of Cambridge, U.K., Email: anuj.dawar@ cl.cam.ac.uk ∗∗ Humboldt-Universität zu…
- Cited by 1 (1 self) – Add To MetaCart
-
FluXQuery: An Optimizing XQuery Processor for Streaming XML Data
- … Scherzinger ‡ Nicole Schweikardt ♮ Bernhard Stegmaier ♯ † : Technische Universität Wien, Vienna, Austria…
- Cited by 15 (1 self) – Add To MetaCart
-
Approximation schemes for firstorder definable optimisation problems
- … ∗∗ Stephan Kreutzer ∗∗ Nicole Schweikardt ∗∗ ∗ University of Cambridge, U.K., Email: anuj…
- Cited by 5 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
