Some characteristics of strong innermost normalization (Q1575274): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Proving innermost normalisation automatically
@@ Property / cites work: Proving innermost normalisation automatically / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846997
@@ Property / cites work: Q4846997 / rank @@
+Normal rank
@@ Property / cites work @@
+On proving termination by innermost termination
@@ Property / cites work: On proving termination by innermost termination / rank @@
+Normal rank
@@ Property / cites work @@
+The integration of functions into logic programming: From theory to practice
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268467
@@ Property / cites work: Q4268467 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490728
@@ Property / cites work: Q4490728 / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Modular aspects of term graph rewriting
@@ Property / cites work: Modular aspects of term graph rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4202945
@@ Property / cites work: Q4202945 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of combinations of constructor systems
+Normal rank
@@ Property / cites work @@
+On the modularity of termination of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Counterexamples to termination for the direct sum of term rewriting systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1575274