: A Metatheorem for Undecidable Properties of Formal Languages and its Application to LRR and LLR Grammars and Languages.
Prakash V. Ramanan
: A Counterexample to Shyamasundar's Characterization of Pushdown Permuters.
: Stationary Deterministic Flows in Discrete Systems I.
: A Direct Branching Algorithm for Checking Equivalence of Strict Deterministic VS. LL(k) Grammars.
: Real Functions and Numbers Defined by Turing Machines.
: Turing Machines with Linear Alternation, Theories of Bounded Concatenation and the Decision Problem of First Order Theories.