Schweikardt, Nicole 1973-
Nicole Schweikardt Ph.D. Johannes Gutenberg-Universität Mainz 2002
VIAF ID: 8309018 ( Personal )
Permalink: http://viaf.org/viaf/8309018
Preferred Forms
Works
Title | Sources |
---|---|
Ehrenfeucht-Fraïssé approach to collapse results for first-order queries over enbedded databases | |
Gaifman normal forms for counting extensions of first-order logic | |
natural order-generic collapse for ω-representable [w-representable] databases over the rational and the real ordered group | |
On the expressive power of first-order logic with built in predicates |