Descriptive complexity and finite models
Subtitle: proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University
By: Neil Immerman, Phokion G. Kolaitis, editor.
Contributors: Immerman, Neil, 1953-; Kolaitis, Phokion.; DIMACS Workshop on Descriptive Complexity and Finite Models (1996 : Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science ;; v. 31
Publisher: American Mathematical Society
Published: 1997
Place of publication: Providence, R.I
Language: eng
Number of pages: 248
Subjects: Computational complexity -- Congresses.; Model theory -- Congresses.
Notes: Includes bibliographical references (p. 240-244).
Papers presented at DIMACS Workshop on Descriptive Complexity and Finite Models.
"NSF science and technology center in discrete mathematics and theoretical computer science a consortium of Rutgers University, Princeton University, AT&T Labs, Bell Labs, and Belcore."