Publication:4447217
From MaRDI portal
zbMath1038.03054MaRDI QIDQ4447217
Publication date: 16 February 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2706/27060002.htm
Related Items
Canonical Ground Horn Theories, Some general results about proof normalization, Regaining cut admissibility in deduction modulo using abstract completion, Structure of proofs and the complexity of cut elimination, Automating Theories in Intuitionistic Logic