|
|||||
|
|
On Extracting Variable Herbrand Disjunctions |
|
| Authors: | Sipoş Andrei |
| Affiliation: | 1.Research Center for Logic, Optimization and Security (LOS), Department of Computer Science Faculty of Mathematics and Computer Science, University of Bucharest, Academiei 14, 010014, Bucharest, Romania ;2.Simion Stoilow Institute of Mathematics of the Romanian Academy, Calea Grivi?ei 21, 010702, Bucharest, Romania ; |
| Abstract: | Studia Logica - Some quantitative results obtained by proof mining take the form of Herbrand disjunctions that may depend on additional parameters. We attempt to elucidate this fact through an... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |