Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University / Neil Immerman, Phokion G. Kolaitis, editor [sic] proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University /
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , |
Format: | Book |
Language: | English |
Published: |
Providence, R.I. :
American Mathematical Society,
c1997.
|
Series: | DIMACS series in discrete mathematics and theoretical computer science ;
v. 31 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 01476pam a2200325 a 4500 | ||
---|---|---|---|
001 | 013189559 | ||
003 | UkOxU | ||
005 | 20180406150145.0 | ||
007 | ta | ||
008 | 970721s1997 xxu 100 0 eng d | ||
952 | |0 0 |1 0 |2 ddc |4 0 |6 511_300000000000000_DIM |7 0 |9 861231 |a PILKINGTON |b PILKINGTON |c MAIN |d 2018-03-28 |e 1167 |g 44.00 |l 0 |o 511.3/DIM |p 0404672027 |r 2018-04-12 |v 44.00 |w 2018-03-28 |y LONG | ||
999 | |c 535766 |d 535766 | ||
015 | |a GB 97-49804 | ||
020 | |a 0821805177 | ||
035 | |a BNB2450.1398 | ||
040 | |a DB/U-1 | ||
111 | 2 | |a DIMACS Workshop on Descriptive Complexity and Finite Models |d (1996 : |c Princeton University) | |
245 | 0 | 0 | |a Descriptive complexity and finite models : |b proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University / |c Neil Immerman, Phokion G. Kolaitis, editor [sic] |
260 | |a Providence, R.I. : |b American Mathematical Society, |c c1997. | ||
300 | |a xiv, 248 p. : |b ill. ; |c 26 cm. | ||
490 | 1 | |a DIMACS series in discrete mathematics and theoretical computer science ; |v Volume 31 | |
504 | |a Includes bibliographical references. | ||
650 | 0 | |a Computational complexity |v Congresses. | |
650 | 0 | |a Model theory |x Congresses. | |
700 | 1 | |a Immerman, Neil, |d 1953- | |
700 | 1 | |a Kolaitis, Phokion. | |
711 | 2 | |a DIMACS Workshop on Descriptive Complexity and Finite Models | |
830 | 0 | |a DIMACS series in discrete mathematics and theoretical computer science ; |v v. 31 | |
942 | |n 0 | ||
852 | 8 | |a UkOxU |b RSLBL |h 98.B01829 |m (Box B000000480962) |