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

Authors

Steven Lindell, Haverford CollegeFollow

Document Type

Book

Role

Contributor

Publication

Logic and Computational Complexity

Publisher

Springer-Verlag

Standard Number

3540601783

First Page

447

Last Page

462

Publication Date

1995

Comments

Also published in Information and Computation (Elsevier).

Repository Citation

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