scientific article
From MaRDI portal
Publication:3878740
zbMath0437.68009MaRDI QIDQ3878740
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessexpressivenesssoundnessspecificationspartial correctnessHoare's logicwhile-programsarithmetical computation
Undecidability and degrees of sets of sentences (03D35) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract and axiomatic computability and recursion theory (03D75)
Related Items