Proving termination properties of prolog programs: A semantic approach (Q4015950): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 13:50, 5 March 2024

scientific article
Language Label Description Also known as
English
Proving termination properties of prolog programs: A semantic approach
scientific article

    Statements

    Proving termination properties of prolog programs: A semantic approach (English)
    0 references
    0 references
    10 November 1992
    0 references
    functional semantics of Prolog
    0 references
    first order properties
    0 references
    first order theorem proving
    0 references
    structural induction
    0 references
    minimization
    0 references
    cut
    0 references

    Identifiers