scientific article; zbMATH DE number 1754651
From MaRDI portal
Publication:4535079
zbMath0986.03046MaRDI QIDQ4535079
Juan Luis Esteban, Maria Luisa Bonet, Albert Atserias
Publication date: 12 June 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2076/20761005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Complexity of proofs (03F20)
This page was built for publication:
