HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Steven Lindell

Publications
Traversal-invariant definability and Logarithmic-space computation
Steven Lindell and Scott Weinstein
EasyChair Preprint 352

Keyphrases

first-order logic, invariant definability, logarithmic space.

Copyright © 2012-2025 easychair.org. All rights reserved.