scientific article
From MaRDI portal
Publication:3086716
zbMath1227.03042MaRDI QIDQ3086716
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
program specificationfour-valued logicKleene logiccomputation errorsGentzen-style sequent calculusMcCarthy logicdecompositional proof systeminfinite errorsmachine errors
Logic in computer science (03B70) Many-valued logic (03B50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
McCarthy-Kleene fuzzy automata and MSO logics ⋮ Unnamed Item ⋮ Proof systems for reasoning about computation errors
This page was built for publication:
