scientific article; zbMATH DE number 1929954
From MaRDI portal
Publication:4708587
zbMath1014.03016MaRDI QIDQ4708587
Jan Johannsen, N. S. Narayanaswamy
Publication date: 18 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2420/24200387.htm
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:
