Descriptive complexity and finite models:proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University
Saved in:
Corporate Authors: | |
---|---|
Group Author: | ; |
Published: |
American Mathematical Society,
|
Publisher Address: | Providence, R.I. |
Publication Dates: | c1997. |
Literature type: | Book |
Language: | English |
Series: |
DIMACS series in discrete mathematics and theoretical computer science ; v. 31 |
Subjects: | |
Carrier Form: | xiv, 248 p.: ill. ; 26 cm. |
ISBN: | 0821805177 (alk. paper) |
Index Number: | O141 |
CLC: | O141-532 |
Call Number: | O141-532/D449/1996/ |
Contents: |
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." Includes bibliographical references (p. 240-244). |