scientific article
From MaRDI portal
Publication:2721182
zbMath0963.03012MaRDI QIDQ2721182
Noriko H. Arai, Alasdair Urquhart
Publication date: 1 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Structure of proofs (03F07)
Related Items
Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas, Homomorphisms of conjunctive normal forms., Formula simplification via invariance detection by algebraically indexed types, A Logical Autobiography
