Linear pattern matching of compressed terms and polynomial rewriting (Q4585011): Difference between revisions

@@ Property / author @@
-Manfred Schmidt-Schauss
@@ Property / author: Manfred Schmidt-Schauss / rank @@
-Normal rank
@@ Property / author @@
+Manfred Schmidt-Schauss
@@ Property / author: Manfred Schmidt-Schauss / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Closing the Gap Between Runtime Complexity and Polytime Computability.
+Normal rank
@@ Property / cites work @@
+On the complexity of pattern matching for highly compressed two-dimensional texts.
+Normal rank
@@ Property / cites work @@
+On unification of terms with integer exponents
@@ Property / cites work: On unification of terms with integer exponents / rank @@
+Normal rank
@@ Property / cites work @@
+Unification and matching on compressed terms
@@ Property / cites work: Unification and matching on compressed terms / rank @@
+Normal rank
@@ Property / cites work @@
+Unification of infinite sets of terms schematized by primal grammars
+Normal rank
@@ Property / cites work @@
+On Constructor Rewrite Systems and the Lambda Calculus
+Normal rank
@@ Property / cites work @@
+The Complexity of Monadic Second-Order Unification
+Normal rank
@@ Property / cites work @@
+On the complexity of Bounded Second-Order Unification and Stratified Context Unification
+Normal rank
@@ Property / cites work @@
+Algorithmics on SLP-compressed strings: A survey
@@ Property / cites work: Algorithmics on SLP-compressed strings: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Parameter reduction and automata evaluation for grammar-compressed trees
+Normal rank
@@ Property / cites work @@
+Q4941166
@@ Property / cites work: Q4941166 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Fast equality test for straight-line compressed strings
+Normal rank
@@ Property / cites work @@
+A universal algorithm for sequential data compression
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129518000208
+Normal rank
@@ Property / OpenAlex ID @@
+W2886770795
@@ Property / OpenAlex ID: W2886770795 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129480085
@@ Property / Wikidata QID: Q129480085 / rank @@
+Normal rank