Verifying termination and reduction properties about higher-order logic programs (Q850496): Difference between revisions

@@ 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/s10817-005-6534-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2031835656
@@ Property / OpenAlex ID: W2031835656 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766795
@@ Property / cites work: Q2766795 / rank @@
+Normal rank
@@ Property / cites work @@
+A predicative analysis of structural recursion
@@ Property / cites work: A predicative analysis of structural recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Proving termination properties of prolog programs: A semantic approach
+Normal rank
@@ Property / cites work @@
+HiLog: A foundation for higher-order logic programming
+Normal rank
@@ Property / cites work @@
+A semantic basis for the termination analysis of logic programs
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular termination proofs for rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+The size-change principle for program termination
@@ Property / cites work: The size-change principle for program termination / rank @@
+Normal rank
@@ Property / cites work @@
+Unification under a mixed prefix
@@ Property / cites work: Unification under a mixed prefix / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723909
@@ Property / cites work: Q2723909 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction as higher-order resolution
@@ Property / cites work: Natural deduction as higher-order resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012879
@@ Property / cites work: Q4012879 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539625
@@ Property / cites work: Q4539625 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination proofs for logic programs
@@ Property / cites work: Termination proofs for logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A Coverage Checking Algorithm for LF
@@ Property / cites work: A Coverage Checking Algorithm for LF / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024848
@@ Property / cites work: Q3024848 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938608
@@ Property / cites work: Q4938608 / rank @@
+Normal rank
@@ Property / cites work @@
+On proving the termination of algorithms by machine
+Normal rank