E-Thesis 363 views 130 downloads
Optimal proof systems and uniform systems. / Jean-Jose Razafindrakoto
Swansea University Author: Jean-Jose Razafindrakoto
-
PDF | E-Thesis
Download (1.98MB)
Abstract
Optimal proof systems and uniform systems.
| Published: |
2012
|
|---|---|
| Institution: | Swansea University |
| Degree level: | Doctoral |
| Degree name: | Ph.D |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa43008 |
| Keywords: |
Uniform reduct |
|---|---|
| College: |
Faculty of Science and Engineering |