2 search results - page 1 / 1 » The NP-Completeness of Reflected Fragments of Justification ... |
112
Voted
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
141
Voted
MST
2010
14 years 10 months 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...