scientific article; zbMATH DE number 1538009
From MaRDI portal
Publication:4518864
zbMath0961.03013MaRDI QIDQ4518864
Publication date: 3 December 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05)
Related Items (1)
This page was built for publication:
