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

From MaRDI portal
Revision as of 13:50, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
In more languages
Configure
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)
    10 November 1992
    functional semantics of Prolog
    first order properties
    first order theorem proving
    structural induction
    minimization

    Identifiers