scientific article; zbMATH DE number 2165693
From MaRDI portal
Publication:4675622
zbMath1108.68575MaRDI QIDQ4675622
Publication date: 6 May 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)
This page was built for publication:
