- Gerhard Buntrock, Lane A. Hemachandra, and Dirk Siefkes. Using inductive counting to
simulate nondeterministic computation. Information and
Computation, 102(1):102-117, January 1993.
Abstract,
References,
Citations,
etc.
- Gerhard Buntrock and Friedrich Otto. Growing context-sensitive languages
and Church-Rosser languages. Information and
Computation, 141(1):1-36, 25 February 1998.
Abstract,
References,
etc.
Shortcuts: