scientific article

From MaRDI portal

Revision as of 12:47, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3776674

Jump to:navigation, search

zbMath0636.68123MaRDI QIDQ3776674

Jan Małuszyński, Włodzimierz Drabent

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logic programs inductive assertion verification condition

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (4)

Inductive assertion method for logic pograms ⋮ On definite program answers and least Herbrand models ⋮ S-semantics -- an example ⋮ Declarative modeling of the operational behavior of logic languages

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3776674&oldid=17325294"