Publication:4736827
From MaRDI portal
zbMath1054.03026MaRDI QIDQ4736827
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2285/22850050.htm
03B70: Logic in computer science
03B35: Mechanization of proofs and logical operations
03F05: Cut-elimination and normal-form theorems
Related Items
Regaining cut admissibility in deduction modulo using abstract completion, Automating Theories in Intuitionistic Logic