No CrossRef data available.
Article contents
Anna R. Bruss and Albert R. Meyer. On time-space classes and their relation to the theory of real addition. Theoretical computer science, vol. 11 (1980), pp. 59–69. - Leonard Berman. The complexity of logical theories. Theoretical computer science, pp. 71–77. - Hugo Volger. Turing machines with linear alternation, theories of bounded concatenation and the decision problem of first order theories. Theoretical computer science, vol. 23 (1983), pp. 333–337.
Published online by Cambridge University Press: 12 March 2014
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1986