scientific article; zbMATH DE number 2086373
From MaRDI portal
Publication:4736827
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05)
Related Items (4)
A Completion Method to Decide Reachability in Rewrite Systems ⋮ Unnamed Item ⋮ Regaining cut admissibility in deduction modulo using abstract completion ⋮ Automating Theories in Intuitionistic Logic
This page was built for publication:
