LEADER 01538nam0 2200301 i 450 
001 VAN00038793
005 20250318104130.840
010   $a08-218-0517-7
100   $a20051006d1997       |0itac50      ba
101   $aeng
102   $aUS
105   $a||||    1||||
200 1 $aDescriptive complexity and finite models$eproceedings of a DIMACS workshop, January 14-17 1996, Princeton University$fNeil Immerman, Phokion G. Kolaitis, editor
210   $aProvidence, R.I.$cAmerican Mathematical Society$d1997
215   $axiv, 248 p.$cill.$d26 cm
410  1$1001VAN00038792$12001 $aDIMACS series in discrete mathematics and theoretical computer science$1210  $aProvidence$cAmerican mathematical society$v31
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
606   $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF
702  1$aImmerman$bNeil$3VANV032203
702  1$aKolaitis$bPhokion$3VANV032204
712 12$aDIMACS Workshop on Descriptive Complexity and Finite Models$f1996 : Princeton University$3VANV032205
801   $aIT$bSOL$c20250321$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/ID 38793.pdf$zID 38793.pdf
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN00038793
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     68-XX                   2046        $e08   6969      I       20051006            
996   $aDescriptive complexity and finite models$91424246
997   $aUNICAMPANIA