Comparing counting classes for logspace, one-way logspace, and first-order

1Citations
Citations of this article
4Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We consider one-way logspace counting classes which are defined via Turing machines that scan their input only in one direction. The one-way logspace counting classes #IL and span-lL are strict subclasses of the corresponding (twoway) logspace classes #L and span-L, resp. We separate the one-way classes 1UL and 1NL which correspond to the classes UL and NL. It follows that F1L #IL span-lL #P. We generalize first-order counting classes to use

Cite

CITATION STYLE

APA

Burtschick, H. J. (1995). Comparing counting classes for logspace, one-way logspace, and first-order. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 969, pp. 139–148). Springer Verlag. https://doi.org/10.1007/3-540-60246-1_120

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free