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:
Bibliographic Details
Corporate Authors: DIMACS Workshop on Descriptive Complexity and Finite Models Princeton University, DIMACS Workshop on Descriptive Complexity and Finite Models
Other Authors: Immerman, Neil, 1953-, Kolaitis, Phokion
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)