Abstract | ||
---|---|---|
The goal is to simplify epsilon substitution method to make possible its extension to much stronger systems than ones treated up to now. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1016/j.entcs.2005.07.013 | Electr. Notes Theor. Comput. Sci. |
Keywords | DocType | Volume |
epsilon substitution method,03f30,simple formulation,cut elimination,stronger system,03f15,03f05,03f07,infinite proofs | Journal | 143, |
ISSN | Citations | PageRank |
Electronic Notes in Theoretical Computer Science | 0 | 0.34 |
References | Authors | |
1 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |