UNAMBIGUOUS CONSTRAINED AUTOMATA (Q5495422): Difference between revisions

@@ Property / cites work @@
+Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+Extended finite automata over groups
@@ Property / cites work: Extended finite automata over groups / rank @@
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1142/s0129054113400339
+Normal rank
@@ Property / OpenAlex ID @@
+W2163125260
@@ Property / OpenAlex ID: W2163125260 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5495422