scientific article
From MaRDI portal
Publication:3334069
zbMath0544.68027MaRDI QIDQ3334069
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Horn clausesterminationequivalence of declarative and procedural interpretationslooping programsstrong correctnessunder-defined clauses
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Many-valued logic (03B50)
Related Items (7)
Logic Programs under Three-Valued Łukasiewicz Semantics ⋮ Resolution approximation of first-order logics ⋮ Legality concepts for three-valued logic programs ⋮ Data types over multiple-valued logics ⋮ Programming in three-valued logic ⋮ Is there an axiomatic semantics for standard pure Prolog? ⋮ Optimal fixedpoints of logic programs
This page was built for publication:
