Type-based homeomorphic embedding for online termination (Q989516): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2009.04.016
+Normal rank
@@ Property / OpenAlex ID @@
+W2061746685
@@ Property / OpenAlex ID: W2061746685 / rank @@
+Normal rank
@@ Property / cites work @@
+Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation
+Normal rank
@@ Property / cites work @@
+Q4413065
@@ Property / cites work: Q4413065 / rank @@
+Normal rank
@@ Property / cites work @@
+Loop checking in partial deduction
@@ Property / cites work: Loop checking in partial deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+Q4414739
@@ Property / cites work: Q4414739 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic program specialisation through partial  deduction: Control issues
+Normal rank
@@ Property / cites work @@
+Automatic finite unfolding using well-founded measures
+Normal rank
@@ Property / cites work @@
+Efficient Local Unfolding with Ancestor Stacks for Full Prolog
+Normal rank
@@ Property / cites work @@
+Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs
+Normal rank
@@ Property / cites work @@
+Mixtus: An automatic partial evaluator for full Prolog
+Normal rank
@@ Property / cites work @@
+The execution algorithm of mercury, an efficient purely declarative logic programming language
+Normal rank