scientific article; zbMATH DE number 1841838
From MaRDI portal
Publication:4783326
zbMath0999.03051MaRDI QIDQ4783326
Publication date: 4 December 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420469
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) Complexity of proofs (03F20)
This page was built for publication:
