LFCS   2007 Logical Foundations of Computer Science
Wall of Fame | Most Viewed LFCS-2007 Paper
13 years 10 months ago
Cut Elimination in Deduction Modulo by Abstract Completion
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...
Guillaume Burel, Claude Kirchner
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source186
2Download preprint from source184
3Download preprint from source157
4Download preprint from source148
5Download preprint from source122
6Download preprint from source115
7Download preprint from source115
8Download preprint from source115
9Download preprint from source111
10Download preprint from source109
11Download preprint from source107
12Download preprint from source99
13Download preprint from source92
14Download preprint from source89
15Download preprint from source85
16Download preprint from source72