Search Images Maps Play YouTube News Gmail Drive More »
My library | Help | Advanced Book Search | Web History | Sign in

Books

Bounded variable logics and counting:

a study in finite models
Front Cover
0 Reviews
Springer, 1997 - Computers - 183 pages

From inside the book

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Foundations of Databases
Foundations of Databases
Serge Abiteboul,Richard Hull,Victor Vianu
Snippet view - 1995
Descriptive complexity
Descriptive complexity

Limited preview - 1999
Model theory and applications
Model theory and applications
Luc Bélair
Snippet view - 2002
All related books »

Contents

Introduction
1
Definitions and Preliminaries
15
The Games and Their Analysis
51
Copyright

6 other sections not shown

Common terms and phrases

Abiteboul and Vianu admits Ptime arity atomic types automorphism binary relation boolean query capture Ptime cardinality Lindstrom quantifiers characterized closure complete invariant complexity classes Consider Corollary corresponding counting terms Definition denote disjoint equivalence relation exactly Example fc-graph fc-th power fin[r finite graphs finite model theory finite relational finite structures first-order logic first-order variables fixed-point logic fixed-point process formalization formulae FP and PFP FP+C and PFP+C functor game tableau global relation Immerman inductive infinitary logic interpretation isomorphism Lemma lexicographic lexicographic ordering linear ordering logic with counting mapping natural nodes obtained ordered structures parameters pebble polynomial pre-ordering problem properties Proposition Pspace Ptime algorithm Ptime canonization Ptime computable Ptime inversion quantifier free quantifier Q quotient r-ary r-structures realization recursive presentation relational structures respect restriction result second sort second-order variables semantic Sketch of Proof stable colouring stan[r subset Theorem three variable trivial tuple tures two-sorted

Bibliographic information

QR code for Bounded variable logics and counting
TitleBounded variable logics and counting: a study in finite models
Volume 9 of Lecture notes in logic
Volume 9 of Studies in Economic Ethics and Philosophy
AuthorMartin Otto
PublisherSpringer, 1997
Original fromthe University of Michigan
Digitized1 Feb 2010
ISBN3540620370, 9783540620372
Length183 pages
Subjects ›  › 

Computational complexity
Computers / Machine Theory
Mathematics / Logic
Model theory
Nature / Ecosystems & Habitats / Lakes, Ponds & Swamps
  
Export CitationBiBTeX EndNote RefMan