scientific article
From MaRDI portal
Publication:3792244
zbMath0647.68051MaRDI QIDQ3792244
No author found.
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (max. 100)
An analysis of loop checking mechanisms for logic programs ⋮ Generalizing completeness results for loop checks in logic programming
This page was built for publication:
