scientific article
From MaRDI portal
Publication:2723415
zbMath0963.03010MaRDI QIDQ2723415
Hans de Nivelle, Dimitri Hendriks, Marc Bezem
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Translation of resolution proofs into short first-order proofs without choice axioms ⋮ Certifying Term Rewriting Proofs in ELAN
Uses Software
