Towards a domain theory for termination proofs (Q5055834): Difference between revisions

@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ 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.1007/3-540-59200-8_60
+Normal rank
@@ Property / OpenAlex ID @@
+W1590111582
@@ Property / OpenAlex ID: W1590111582 / rank @@
+Normal rank
@@ Property / cites work @@
+Total termination of term rewriting
@@ Property / cites work: Total termination of term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5340125
@@ Property / cites work: Q5340125 / rank @@
+Normal rank
@@ Property / cites work @@
+The Clausal Theory of Types
@@ Property / cites work: The Clausal Theory of Types / rank @@
+Normal rank