Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop, January 14-17, 1996, Princeton University

Neil Immerman Phokion G. Kolaitis Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop, January 14-17, 1996, Princeton University Descriptive Complexity and Finite Models DIMACS Series in Discrete Mathematics and Theoretical Computer Science 31 American Mathematical Society 1996 0-8218-0517-7 db/conf/dimacs/dimacs1996.html