294 citations found. Retrieving documents...
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.


A Formal Model for an Expressive Fragment of XSLT - Bex, Maneth, Neven (2000)   (14 citations)  (Correct)

No context found.

H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995.


Approximate Databases and Query Techniques for Agents with - Patrick Doherty Witold   (Correct)

No context found.

H-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer-Verlag, Heidelberg, 1995.


A second-order theory for NL - Stephen Cook And (2004)   (Correct)

No context found.

H.-D. Ebbinghaus and J. Flum. Finite model theory. Springer Verlag, 1995.


Expressiveness and Complexity of - Concurrent Constraint Programming   (Correct)

No context found.

H-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer Verlag, 1995.


Locally Consistent Transformations and Query Answering in - Data Exchange Marcelo   (Correct)

No context found.

H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer Verlag, 1995.


Expressiveness and Complexity of Graph Logic - Anuj Dawar Philippa (2004)   (Correct)

No context found.

H-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 2 edition, 1999.


Copyright 1999. Association for the Advancement of Computing .. - Teaching Via The   (Correct)

No context found.

Ebbinghaus, H.-D. and Flum, J. (1995). Finite Model Theory. Springer.


Random Trees - McColm (2000)   (Correct)

No context found.

H.-D. Ebbinghaus & J. Flum, Finite Model Theory (Springer, 1995). 4


Composition Theorem for Generalized Sum - Rabinovich (2001)   (1 citation)  (Correct)

No context found.

H.-D. Ebbinghaus and J. Flum (1995). Finite Model Theory. Springer Perspectives in Mathematical Logic.


An Infinite Hierarchy of Temporal Logics over Branching Time - Rabinovich, Maoz   (Correct)

No context found.

H.D. Ebbinghaus and J. Flum (1995). Finite Model Theory. Springer Perspectives in Mathematical Theory.


Locally Consistent Transformations and Query.. - Arenas.. (2004)   (Correct)

No context found.

H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer Verlag, 1995.


Negation and Inductive Norms - McColm (2003)   (Correct)

No context found.

H.-D. Ebbinghaus & J. Flum, Finite Model Theory (Springer-Verlag, Berlin, Heidelberg, 1995); MR 1716820.


Computability and Complexity Results for a Spatial.. - Calcagno, Yang, O'Hearn (2001)   (13 citations)  (Correct)

No context found.

H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer-Verlag, 1995. ISBN 3-540-60149-X.


Computability and Complexity Results for a Spatial.. - Calcagno, Yang, O'Hearn (2001)   (13 citations)  (Correct)

No context found.

H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer-Verlag, 1995. ISBN 3-540-60149-X.


Locally Consistent Transformations and Query.. - Arenas.. (2004)   (Correct)

No context found.

H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer Verlag, 1995.


Conjunctive Queries over Trees - Gottlob, Koch, Schulz (2004)   (3 citations)  (Correct)

No context found.

H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer-Verlag, 1999. Second edition.


Query Evaluation on Compressed Trees (Extended Abstract) - Frick, Grohe, Koch (2003)   (Correct)

No context found.

H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer-Verlag, 1999. Second edition.


A Programming Language For Local - Computations In Graphs   (Correct)

No context found.

H.-D. Ebbinghaus and J. Flum. Finite model theory. Springer, 1995.


Definability on a Random 3-CNF Formula - Atserias (2004)   (Correct)

No context found.

H. Ebbinghaus and J. Flum. Finite Model Theory. Springer-Verlag, 1995.


Query Evaluation on Compressed Trees (Extended Abstract) - Frick, Grohe, Koch (2003)   (Correct)

No context found.

H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer-Verlag, 1999. Second edition.


Ecient Processing of Expressive Node-Selecting Queries on XML Data .. - Koch (2003)   (Correct)

No context found.

H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer-Verlag, 1999. Second edition.


On Sufficient Conditions for Unsatisfiability of Random Formulas - Atserias (2003)   (Correct)

No context found.

H. Ebbinghaus and J. Flum. Finite Model Theory. Springer-Verlag, 1995.


XML with Data Values: Typechecking Revisited - Noga Alon Tel (2001)   (7 citations)  (Correct)

No context found.

H.-D. Ebbinghaus and J. Flum. Finite Model Theory, Springer, second edition, 1999.


Typechecking XML Views of Relational Databases - Noga Alon Noga (2001)   (4 citations)  (Correct)

No context found.

H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995.


Modal and Guarded Characterisation Theorems - Over Finite Transition   (Correct)

No context found.

H.-D. Ebbinghaus and J. Flum, Finite Model Theory, Springer, 2nd ed., 1999.

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