The following pages link to Tag systems and lag systems (Q2395198):
Displaying 17 items.
- On the complex behavior of simple tag systems -- an experimental approach (Q616497) (← links)
- The immortality problem for Lag systems (Q918728) (← links)
- The complexity of small universal Turing machines: A survey (Q1004087) (← links)
- Frontier between decidability and undecidability: A survey (Q1575913) (← links)
- Context free normal systems and ETOL systems (Q1837541) (← links)
- Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003) (← links)
- Tag systems and Collatz-like functions (Q2474075) (← links)
- On biconjunctive reduction classes (Q2557257) (← links)
- The Complexity of Small Universal Turing Machines: A Survey (Q2891384) (← links)
- Halteprobleme von Fang-Systemen (tag systems) (Q3875919) (← links)
- Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen (Q4401927) (← links)
- Non-erasing turing machines: A new frontier between a decidable halting problem and universality (Q5096346) (← links)
- The undecidability of the Turing machine immortality problem (Q5559248) (← links)
- The decision problem for formulas in prenex conjunctive normal form with binary disjunctions (Q5607225) (← links)
- The Solvability of the Derivability Problem for One-Normal Systems (Q5608015) (← links)
- Decision problems for tag systems (Q5663844) (← links)
- On quasi-unilateral universal Turing machines (Q5941258) (← links)
