Queue Automata: Foundations and Developments (Q5112182): Difference between revisions

@@ Property / cites work @@
+Indexed Grammars—An Extension of Context-Free Grammars
+Normal rank
@@ Property / cites work @@
+Nested Stack Automata
@@ Property / cites work: Nested Stack Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Adding nesting structure to words
@@ Property / cites work: Adding nesting structure to words / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of Reversible Languages
@@ Property / cites work: Inference of Reversible Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Diving into the queue
@@ Property / cites work: Diving into the queue / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Reset machines
@@ Property / cites work: Reset machines / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple equality sets and Post machines
@@ Property / cites work: Multiple equality sets and Post machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q3730030
@@ Property / cites work: Q3730030 / rank @@
+Normal rank
@@ Property / cites work @@
+On the intersection of stacks and queues
@@ Property / cites work: On the intersection of stacks and queues / rank @@
+Normal rank
@@ Property / cites work @@
+Growing context-sensitive languages and Church-Rosser languages
+Normal rank
@@ Property / cites work @@
+QRT FIFO automata, breadth-first grammars and their relations
+Normal rank
@@ Property / cites work @@
+On certain formal properties of grammars
@@ Property / cites work: On certain formal properties of grammars / rank @@
+Normal rank
@@ Property / cites work @@
+A shrinking lemma for indexed languages
@@ Property / cites work: A shrinking lemma for indexed languages / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-Turn Pushdown Automata
@@ Property / cites work: Finite-Turn Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+One-way stack automata
@@ Property / cites work: One-way stack automata / rank @@
+Normal rank
@@ Property / cites work @@
+Stack automata and compiling
@@ Property / cites work: Stack automata and compiling / rank @@
+Normal rank
@@ Property / cites work @@
+An Infinite Hierarchy of Context-Free Languages
@@ Property / cites work: An Infinite Hierarchy of Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5583856
@@ Property / cites work: Q5583856 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449198
@@ Property / cites work: Q4449198 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4452076
@@ Property / cites work: Q4452076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3102144
@@ Property / cites work: Q3102144 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of multi-head finite automata: origins and directions
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+Queue Automata of Constant Length
@@ Property / cites work: Queue Automata of Constant Length / rank @@
+Normal rank
@@ Property / cites work @@
+On the descriptional power of heads, counters, and pebbles
+Normal rank
@@ Property / cites work @@
+Aspects of Reversibility for Classical Automata
@@ Property / cites work: Aspects of Reversibility for Classical Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Fast reversible language recognition using cellular automata
+Normal rank
@@ Property / cites work @@
+Reversible pushdown automata
@@ Property / cites work: Reversible pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+One-way reversible multi-head finite automata
@@ Property / cites work: One-way reversible multi-head finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic input-driven queue automata: finite turns, decidability, and closure properties
+Normal rank
@@ Property / cites work @@
+Input-Driven Queue Automata with Internal Transductions
+Normal rank
@@ Property / cites work @@
+Reversible Queue Automata
@@ Property / cites work: Reversible Queue Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+Q4929410
@@ Property / cites work: Q4929410 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible space equals deterministic space
@@ Property / cites work: Reversible space equals deterministic space / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating two pushdown stores by one tape in \(O(n^{1.5}\,\sqrt{\log \,n})\) time
+Normal rank
@@ Property / cites work @@
+Tape versus queue and stacks: The lower bounds
@@ Property / cites work: Tape versus queue and stacks: The lower bounds / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023358
@@ Property / cites work: Q4023358 / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of the Queue
@@ Property / cites work: The Power of the Queue / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Church-Rosser Thue systems and formal languages
@@ Property / cites work: Church-Rosser Thue systems and formal languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3890112
@@ Property / cites work: Q3890112 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible computing and cellular automata -- a survey
+Normal rank
@@ Property / cites work @@
+Two-Way Reversible Multi-Head Finite Automata
@@ Property / cites work: Two-Way Reversible Multi-Head Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Intercalation theorems for stack languages
@@ Property / cites work: Intercalation theorems for stack languages / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Simulations by Queue Machines
@@ Property / cites work: Efficient Simulations by Queue Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Reductions of the General Combinatorial Decision Problem
+Normal rank
@@ Property / cites work @@
+\(L(A)=L(B)\)? decidability results from complete formal systems
+Normal rank
@@ Property / cites work @@
+One-way multihead writing finite automata
@@ Property / cites work: One-way multihead writing finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic finite-turn pushdown automata
+Normal rank
@@ Property / cites work @@
+Über einen Automaten mit Pufferspeicherung
@@ Property / cites work: Über einen Automaten mit Pufferspeicherung / rank @@
+Normal rank