Constant-Space Sequential Model of Computation for First-Order Logic

Authors

Steven Lindell, Haverford CollegeFollow

Document Type

Book Chapter

Role

Contributor

Published In

Logic and Computational Complexity

Publisher

Springer-Verlag

First Page

447

Last Page

462

Publication Date

1995

Comments

Also published in Information and Computation (Elsevier).

Suggested Citation

Lindell, Stephen. "Logic and Computational Complexity." Logic and Computational Complexity: Selected Papers. By Daniel Leivant. Berlin: Springer, 1995. 447-62. Print.