scientific article; zbMATH DE number 1950258

zbMath1015.03017MaRDI QIDQ4412856

Martin Giese

Publication date: 17 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2381/23810130.htm

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Related Items

Theorem Proving with Bounded Rigid E-Unification ⋮ The model evolution calculus as a first-order DPLL method ⋮ Superposition-based equality handling for analytic tableaux ⋮ Free Variables and Theories: Revisiting Rigid E-unification ⋮ Connection tableaux with lazy paramodulation

This page was built for publication: