11 search results - page 3 / 3 » Canonical Propositional Gentzen-Type Systems |
164
click to vote
LFCS
2007
Springer
15 years 10 months ago
2007
Springer
act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diff...