TY  - BOOK
AU  - Leivant,Daniel
ED  - LCC
TI  - Logic and computational complexity: International Workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers 
SN  - 3540601783
AV  - QA9 A1 L64
PY  - 1995///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computational complexity
KW  - Congresses
KW  - Logic, Symbolic and mathematical
ER  -