It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu

/people/hhebert/lists/OL10290L → Diff

Added
Modified
Removed
Not changed
Revision 10 by Hermogenes Hebert Pereira Oliveira September 14, 2011
Revision 11 by Hermogenes Hebert Pereira Oliveira September 14, 2011
seeds
0 Proof theory /works/OL6915570W 0 Proof theory /works/OL6915570W
... ...
9 Computational logic and proof theory /works/OL2701748W 9 Computational logic and proof theory /works/OL2701748W
10 Complexity of proofs and their transformations in axiomatic theories /works/OL3913917W