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

著者

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

書誌事項

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

注記

Includes bibliographical references

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

詳細情報

• NII書誌ID(NCID): BA30309996
• ISBN:
  • 0821805177
• LCCN: 97000427
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [Providence, R.I.]
• ページ数/冊数: xiv, 248 p.
• 分類:
  • LCC : QA267.7
  • DC21 : 511.3
• 件名:
  • LCSH : Computational complexity -- Congresses
  • LCSH : Model theory -- Congresses
• 親書誌ID:
  • BA12282377