Path orderings for termination of associative-commutative rewriting (Q5881184): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-56393-8_13
+Normal rank
@@ Property / OpenAlex ID @@
+W1480324783
@@ Property / OpenAlex ID: W1480324783 / rank @@
+Normal rank
@@ Property / cites work @@
+Associative-commutative reduction orderings
@@ Property / cites work: Associative-commutative reduction orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Termination orderings for associative-commutative rewriting systems
+Normal rank
@@ Property / cites work @@
+Termination of rewriting systems by polynomial interpretations and its implementation
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976057
@@ Property / cites work: Q3976057 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5881184