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, First-order automated reasoning with theories: when deduction modulo theory meets practice, Regaining cut admissibility in deduction modulo using abstract completion, Structure of proofs and the complexity of cut elimination, A Completion Method to Decide Reachability in Rewrite Systems, Automating Theories in Intuitionistic Logic