H-D. Ebinghaus, J. Flum, Finite Model Theory, Springer 1995; Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
On The Expressive Power of Graph Logic - Jerzy Marcinkowski Institute (Correct)
No context found.
H-D. Ebinghaus, J. Flum, Finite Model Theory, Springer 1995;
Composition of Mappings Given by Embedded - Dependencies Alan Nash (Correct)
No context found.
H.-D. Ebbinhaus and J. Flum. Finite Model Theory. Springer, 1999.
Model Checking Synchronized Products of Infinite Transition.. - Stefan Wohrle And (Correct)
No context found.
H. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995.
Path Constraints in Semistructured Databases - Peter Buneman Department (1 citation) (Correct)
No context found.
H.-D. Ebbinghaus and J. Flum, "Finite Model Theory ", Springer, 1995.
Choiceless Polynomial Time - Andreas Blass Yuri (1997) (4 citations) (Correct)
No context found.
Ebbinghaus and Flum 1995 Heinz-Dieter Ebbinghaus and Jorg Flum, "Finite Model Theory", Springer 1995.
The Logic of Choice - Andreas Blass Math (Correct)
No context found.
Ebbinghaus and Flum 1995 Heinz-Dieter Ebbinghaus and Jorg Flum, "Finite Model Theory", Springer 1995.
Ecient Processing of Expressive Node-Selecting - Queries On Xml (Correct)
No context found.
H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer-Verlag, 1999. Second edition.
Unknown - Incom Sciencecolum By (Correct)
No context found.
Ebbinghaus and Flum 1995 Heinz-DieterE#inz-Diet and Jorg Flum, "Finite Model Theory", Springer-Verlag 1995.
Existential Second-Order Logic over Strings (Extended.. - Eiter, Gottlob, Gurevich (1997) (Correct)
No context found.
H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995.
Monadic Datalog and the Expressive Power of - Languages For Web (Correct)
No context found.
Ebbinghaus, H.-D. and Flum, J. 1999. Finite Model Theory. Springer-Verlag. Second edition.
A General Approach to Multi-Agent Minimal Knowledge with.. - van der Hoek, Thijsse (2001) (2 citations) (Correct)
No context found.
H.-D. Ebbinghaus & J. Flum, Finite model theory, Springer--Verlag, Berlin, 1995.
Metafinite Model Theory - Erich Gradel Yuri (1995) (1 citation) (Correct)
No context found.
H.-D. Ebbinghaus and J. Flum, Finite Model Theory, Springer 1995.
Local Properties of Query Languages - Dong, Libkin, Wong (1997) (13 citations) (Correct)
No context found.
H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer Verlag, 1995.
Attribute Grammars for Unranked Trees as a query language for.. - Neven (Correct)
No context found.
H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 2nd edition, 1999.
Modal Frame Correspondences Generalized - van Benthem (2005) (Correct)
No context found.
H-D Ebbinghaus & J. Flum, 1995, Finite Model Theory, Springer, Berlin.
Fixed-Point Query Languages for Linear Constraint Databases - Kreutzer (2000) (3 citations) (Correct)
No context found.
H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995.
Query Languages for Constraint Databases: First-Order Logic.. - Kreutzer (2001) (1 citation) (Correct)
No context found.
H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995.
Local Properties of Query Languages - Guozhu Dong Dept (1997) (13 citations) (Correct)
No context found.
H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer Verlag, 1995.
Finite Presentations of Infinite Structures: Automata and.. - Blumensath, Grädel (2004) (1 citation) (Correct)
No context found.
H.-D. Ebbinghaus and J. Flum, Finite Model Theory, Springer-Verlag, Berlin, 1995.
Incremental Recomputation in Local Languages - Dong, Libkin, Wong (2003) (1 citation) (Correct)
No context found.
H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer Verlag, 1995.
Descriptive Complexity Theory for Constraint - Databases Erich Gradel (Correct)
No context found.
H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995.
Extensions of Attribute Grammars for Structured Document Queries - Neven (1999) (23 citations) (Correct)
No context found.
H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995. 57
Adding for-Loops to First-Order Logic - Neven, Otto, Tyszkiewicz, Van den .. (2000) (1 citation) (Correct)
No context found.
H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995. 52
The Definition of Transitive Closure with OCL - Limitations and.. - Baar (2003) (Correct)
No context found.
H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995.
Typechecking XML Views of Relational Databases - Alon, Milo, Neven, Suciu, Vianu (2001) (4 citations) (Correct)
No context found.
H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC