scientific article

zbMath0964.68015MaRDI QIDQ2723924

Maurizio Proietti, Alberto Pettorossi

Publication date: 8 July 2001

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

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Unnamed Item ⋮ Assertion based Inductive Verification Methods for Logic Programs ⋮ Logic programs as specifications in the inductive verification of logic programs