Title

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

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).

Faculty Start Year

1987

Share

COinS