Pages that link to "Item:Q775202"
From MaRDI portal
The following pages link to Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines (Q775202):
Displaying 50 items.
- Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach (Q276005) (← links)
- \(\mathcal C\)-graph automatic groups. (Q403809) (← links)
- Low dimensional hybrid systems -- decidable, undecidable, don't know (Q418141) (← links)
- Applying abstract acceleration to (co-)reachability analysis of reactive programs (Q435977) (← links)
- A decidability result for the model checking of infinite-state systems (Q438572) (← links)
- On synchronized multi-tape and multi-head automata (Q443740) (← links)
- A survey of state vectors (Q458456) (← links)
- Normality and automata (Q494059) (← links)
- On information invariants in robotics (Q504012) (← links)
- Dynamical systems in categories (Q513904) (← links)
- Further remarks on DNA overlap assembly (Q515580) (← links)
- Counter machines, Petri nets, and consensual computation (Q517037) (← links)
- On the computational complexity of membrane systems (Q596128) (← links)
- Mutation calculi (Q599718) (← links)
- On the complex behavior of simple tag systems -- an experimental approach (Q616497) (← links)
- Undecidability of ground reducibility for word rewriting systems with variables (Q674184) (← links)
- A dynamical system which must be stable whose stability cannot be proved (Q703488) (← links)
- P systems with symport/antiport simulating counter automata (Q707498) (← links)
- On the universe, disjointness, and containment problems for simple machines (Q710740) (← links)
- One-reversal counter machines and multihead automata: revisited (Q714812) (← links)
- Instruction sequence processing operators (Q715042) (← links)
- Undecidable properties of extensions of the logic of provability (Q757339) (← links)
- The word and order problems for self-similar and automata groups (Q784904) (← links)
- Nondecidable intermediate calculus (Q786806) (← links)
- On the solvability of a class of Diophantine equations and applications (Q818150) (← links)
- Iterated uniform finite-state transducers on unary languages (Q831808) (← links)
- Parsimonious computational completeness (Q832917) (← links)
- The complexity of finding SUBSEQ\((A)\) (Q839630) (← links)
- Reachability problems and abstract state spaces for time Petri nets with stopwatches (Q884758) (← links)
- Decision problems for pushdown threads (Q884992) (← links)
- The immortality problem for Lag systems (Q918728) (← links)
- The submonoid and rational subset membership problems for graph groups. (Q947493) (← links)
- Confusion of memory (Q963414) (← links)
- The complexity of small universal Turing machines: A survey (Q1004087) (← links)
- Existential arithmetization of Diophantine equations (Q1006616) (← links)
- Computation with finite stochastic chemical reaction networks (Q1035715) (← links)
- What is a universal computing machine? (Q1036530) (← links)
- Bad news on decision problems for patterns (Q1049406) (← links)
- Complexity and decidability for chain code picture languages (Q1058857) (← links)
- A characterization of reversal-bounded multipushdown machine languages (Q1058865) (← links)
- Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. I (Q1065930) (← links)
- Two-way automata with more than one storage medium (Q1083206) (← links)
- An analysis of the nonemptiness problem for classes of reversal-bounded multicounter machines (Q1094140) (← links)
- On the Monte Carlo space constructible functions and separation results for probabilistic complexity classes (Q1094874) (← links)
- The complexity of reachability in distributed communicating processes (Q1098622) (← links)
- Pushdown automata with reversal-bounded counters (Q1112611) (← links)
- Unsolvable algorithmic problems for semigroups, groups and rings (Q1117039) (← links)
- Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. III (Q1118677) (← links)
- Problems concerning fairness and temporal logic for conflict-free Petri nets (Q1121023) (← links)
- Simple counter machines and number-theoretic problems (Q1136223) (← links)
