A note on partially ordered tree automata (Q975463): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2008.05.012
+Normal rank
@@ Property / OpenAlex ID @@
+W1987644139
@@ Property / OpenAlex ID: W1987644139 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774976
@@ Property / cites work: Q3774976 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Permutation rewriting and algorithmic verification
+Normal rank
@@ Property / cites work @@
+Q4804924
@@ Property / cites work: Q4804924 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiency of automata in semi-commutation verification techniques
+Normal rank
@@ Property / cites work @@
+Reachability analysis over term rewriting systems
@@ Property / cites work: Reachability analysis over term rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+On Shuffle Ideals
@@ Property / cites work: On Shuffle Ideals / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3659988
@@ Property / cites work: Q3659988 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the commutative closure of star-free languages
+Normal rank
@@ Property / cites work @@
+Logic, semigroups and automata on words
@@ Property / cites work: Logic, semigroups and automata on words / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial closure and unambiguous product
@@ Property / cites work: Polynomial closure and unambiguous product / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+Classifying regular events in symbolic logic
@@ Property / cites work: Classifying regular events in symbolic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank