Refinements of Complexity Results on Type Consistency for Object-Oriented Databases
Translating Regular Expressions into Small ε-Free Nondeterministic Finite Automata
Linear-Consistency Testing
Separation Results for Separated Apex NLC and NCE Graph Languages
The Descriptive Complexity Approach to LOGCFL
New Error Bounds for Solomonoff Prediction
Verification by Augmented Abstraction: The Automata–Theoretic View
Papers to Appear in Forthcoming Issues
Author Index for Volume 62