Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University

Author(s)

• Immerman, Neil
• Kolaitis, Phokion
• DIMACS Workshop on Descriptive Complexity and Finite Models

Bibliographic Information

Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University

Neil Immerman, Phokion G. Kolaitis, editors

（DIMACS series in discrete mathematics and theoretical computer science, v. 31）

American Mathematical Society, c1997

Note

Includes bibliographical references

"DIMACS Workshop on Descriptive Complexity and Finite Models, held at Princeton University in January 1996" -- Foreword

Details

• NCID: BA30309996
• ISBN:
  • 0821805177
• LCCN: 97000427
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: [Providence, R.I.]
• Pages/Volumes: xiv, 248 p.
• Classification:
  • LCC : QA267.7
  • DC21 : 511.3
• Subject Headings:
  • LCSH : Computational complexity -- Congresses
  • LCSH : Model theory -- Congresses
• Parent Bibliography ID:
  • BA12282377