scientific article
From MaRDI portal
Publication:3880844
zbMath0439.03044MaRDI QIDQ3880844
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Cut-elimination and normal-form theorems (03F05) Complexity of proofs (03F20)
Related Items (3)
A bibliography of quantifier elimination for real closed fields ⋮ Extraction and verification of programs by analysis of formal proofs ⋮ A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
This page was built for publication:
