Lecture Notes in Logic

Bounded Variable Logics and Counting: A Study in Finite Models

Martin Otto

Book information

Author
Martin Otto

Publication information
Lecture Notes in Logic, Volume 9
Berlin: Springer-Verlag, 1997
183 pp.

Dates
Publication date: 1997
First available in Project Euclid: 23 February 2009

Permanent link to this book
https://projecteuclid.org/euclid.lnl/1235416490

ISBN:
3-540-62037-0

Mathematical Reviews (MathSciNet):
MR1482523

Subjects
Primary: 03C13: Finite structures [See also 68Q15, 68Q19] 03C75: Other infinitary logic 03C80: Logic with extra quantifiers and operators [See also 03B42, 03B44, 03B45, 03B48] 03D15: Complexity of computation (including implicit computational complexity) [See also 68Q15, 68Q17] 68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.) [See also 03D15, 68Q17, 68Q19] 68Q25: Analysis of algorithms and problem complexity [See also 68W40] 68R05: Combinatorics

Rights
Copyright © 1997, Association for Symbolic Logic

Citation
Martin Otto, Bounded Variable Logics and Counting: A Study in Finite Models (Berlin: Springer-Verlag, 1997)

Select/deselect all
  • Export citations
Select/deselect all
  • Export citations