Searching for "Terminal notions." – sorted by Relevance.
-
Localizing and Explaining Reasons for Non-Terminating Logic Programs With Failure-Slices
- present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a
- Cited by 2 (2 self) – Add To MetaCart
-
Modular Termination Proofs for Prolog with Tabling
- mechanism is that of Decorte et al. They introduce and characterise two notions of universal termination
- Cited by 8 (4 self) – Add To MetaCart
-
Termination Analysis for Tabled Logic Programming
- -resolution restricted to definite programs. In Section 3 we present the notions of quasi-termination and quasi
- Cited by 16 (9 self) – Add To MetaCart
-
Characterisations of Termination in Logic Programming
- selection rule for which they terminate. This notion of termination has been introduced by Ruggieri [62, 63
- Cited by 4 (3 self) – Add To MetaCart
-
A Simple Adequate Categorical Model for PCF
- result thus expresses that the syntactic notion of non-termination coincides with the semantic notion
- Cited by 4 (0 self) – Add To MetaCart
-
MTT: The Maude Termination Tool (System Description) ⋆
- at the heart of the most recent formulation of Maude [4]. The corresponding termination notions can also differ
- Add To MetaCart
-
Termination Proofs for a Lazy Functional Language by Abstract Reduction
- notions of termination. Chapter 1 Introduction Since the early days of computer science the termination
- Cited by 2 (0 self) – Add To MetaCart
-
Hierarchical Termination
- , then termination is said to be modular when the union is also terminating. The notion of modularity of properties
- Cited by 82 (9 self) – Add To MetaCart
-
CARIN: A Representation Language Combining Horn Rules and Description Logics
- that this procedure will yield a refutation complete procedure for CARIN-ALCNR. That is, the algorithm will terminate
- Cited by 88 (1 self) – Add To MetaCart
-
Tetrahedral Mesh Generation by Delaunay Refinement
- to terminate if the notion of "poor quality" includes only simplices that have a circumradiusto -shortest edge
- Cited by 87 (5 self) – Add To MetaCart

