Termination proofs and the length of derivations (Q5055719): 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-51081-8_107
+Normal rank
@@ Property / OpenAlex ID @@
+W1597089442
@@ Property / OpenAlex ID: W1597089442 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting systems by polynomial interpretations and its implementation
+Normal rank
@@ Property / cites work @@
+A rationale for conditional equational programming
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833603
@@ Property / cites work: Q3833603 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430288
@@ Property / cites work: Q4430288 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3779786
@@ Property / cites work: Q3779786 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5055719