scientific article; zbMATH DE number 5019555

zbMath1117.03316MaRDI QIDQ5290079

M. Várterész, K. Pásztor Varga

Publication date: 26 April 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

theorem proving systems

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Complexity of proofs (03F20)

This page was built for publication: