2 search results - page 1 / 1 » The NP-Completeness of Reflected Fragments of Justification ... |
131
Voted
LFCS
2009
Springer
16 years 3 days ago
2009
Springer
172
click to vote
MST
2010
15 years 10 days ago
2010
This paper is devoted to the study of self-referential proofs and/or justifications, i.e., valid proofs that prove statements about these same proofs. The goal is to investigate wh...