Reversible pushdown automata (Q1757838): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2011.12.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2023439061
@@ Property / OpenAlex ID: W2023439061 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization of LR(k) parsers
@@ Property / cites work: Optimization of LR(k) parsers / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of Reversible Languages
@@ Property / cites work: Inference of Reversible Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+On the efficient construction of quasi-reversible automata for reversible languages
+Normal rank
@@ Property / cites work @@
+On locally reversible languages
@@ Property / cites work: On locally reversible languages / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic context free languages
@@ Property / cites work: Deterministic context free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of quantum languages
@@ Property / cites work: Properties of quantum languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete problems for deterministic polynomial time
+Normal rank
@@ Property / cites work @@
+Learning approximately regular languages with reversible languages
+Normal rank
@@ Property / cites work @@
+Fast reversible language recognition using cellular automata
+Normal rank
@@ Property / cites work @@
+Real-time reversible iterative arrays
@@ Property / cites work: Real-time reversible iterative arrays / rank @@
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+Identification of birfsa languages.
@@ Property / cites work: Identification of birfsa languages. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737155
@@ Property / cites work: Q4737155 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible computing and cellular automata -- a survey
+Normal rank
@@ Property / cites work @@
+Reversing algebraic process calculi
@@ Property / cites work: Reversing algebraic process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678435
@@ Property / cites work: Q5678435 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Flowchart Languages and the Structured Reversible Program Theorem
+Normal rank