scientific article; zbMATH DE number 3351180

zbMath0221.68016MaRDI QIDQ5626273

No author found.

Publication date: 1969

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

Mathematics Subject Classification ID

Logic programming (68N17) General topics in the theory of software (68N01)

Related Items (10)

Whale: An Interpolation-Based Algorithm for Inter-procedural Verification ⋮ Formalization of equivalence of recursively defined functions ⋮ John McCarthy (1927--2011) ⋮ Formalization of properties of nondeterministic recursive definitions ⋮ A formal system of partial recursive functions ⋮ Unnamed Item ⋮ Weak logic theory ⋮ Formalization of correctness of recursive definitions ⋮ Proving mutual termination ⋮ The correctness of nondeterministic programs

This page was built for publication: