E-Thesis 189 views 48 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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
first_indexed |
2018-08-02T18:56:04Z |
---|---|
last_indexed |
2018-08-03T10:11:40Z |
id |
cronfa43008 |
recordtype |
RisThesis |
fullrecord |
<?xml version="1.0"?><rfc1807><datestamp>2018-08-02T16:24:31.0538053</datestamp><bib-version>v2</bib-version><id>43008</id><entry>2018-08-02</entry><title>Optimal proof systems and uniform systems.</title><swanseaauthors><author><sid>9fd3e16b94d7ef6cb151a47634198ad2</sid><ORCID>NULL</ORCID><firstname>Jean-Jose</firstname><surname>Razafindrakoto</surname><name>Jean-Jose Razafindrakoto</name><active>true</active><ethesisStudent>true</ethesisStudent></author></swanseaauthors><date>2018-08-02</date><abstract/><type>E-Thesis</type><journal/><journalNumber></journalNumber><paginationStart/><paginationEnd/><publisher/><placeOfPublication/><isbnPrint/><issnPrint/><issnElectronic/><keywords>Uniform reduct</keywords><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2012</publishedYear><publishedDate>2012-12-31</publishedDate><doi/><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><institution>Swansea University</institution><degreelevel>Doctoral</degreelevel><degreename>Ph.D</degreename><apcterm/><lastEdited>2018-08-02T16:24:31.0538053</lastEdited><Created>2018-08-02T16:24:31.0538053</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Jean-Jose</firstname><surname>Razafindrakoto</surname><orcid>NULL</orcid><order>1</order></author></authors><documents><document><filename>0043008-02082018162539.pdf</filename><originalFilename>10821398.pdf</originalFilename><uploaded>2018-08-02T16:25:39.4470000</uploaded><type>Output</type><contentLength>2020736</contentLength><contentType>application/pdf</contentType><version>E-Thesis</version><cronfaStatus>true</cronfaStatus><embargoDate>2018-08-02T16:25:39.4470000</embargoDate><copyrightCorrect>false</copyrightCorrect></document></documents><OutputDurs/></rfc1807> |
spelling |
2018-08-02T16:24:31.0538053 v2 43008 2018-08-02 Optimal proof systems and uniform systems. 9fd3e16b94d7ef6cb151a47634198ad2 NULL Jean-Jose Razafindrakoto Jean-Jose Razafindrakoto true true 2018-08-02 E-Thesis Uniform reduct 31 12 2012 2012-12-31 COLLEGE NANME Computer Science COLLEGE CODE Swansea University Doctoral Ph.D 2018-08-02T16:24:31.0538053 2018-08-02T16:24:31.0538053 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Jean-Jose Razafindrakoto NULL 1 0043008-02082018162539.pdf 10821398.pdf 2018-08-02T16:25:39.4470000 Output 2020736 application/pdf E-Thesis true 2018-08-02T16:25:39.4470000 false |
title |
Optimal proof systems and uniform systems. |
spellingShingle |
Optimal proof systems and uniform systems. Jean-Jose Razafindrakoto |
title_short |
Optimal proof systems and uniform systems. |
title_full |
Optimal proof systems and uniform systems. |
title_fullStr |
Optimal proof systems and uniform systems. |
title_full_unstemmed |
Optimal proof systems and uniform systems. |
title_sort |
Optimal proof systems and uniform systems. |
author_id_str_mv |
9fd3e16b94d7ef6cb151a47634198ad2 |
author_id_fullname_str_mv |
9fd3e16b94d7ef6cb151a47634198ad2_***_Jean-Jose Razafindrakoto |
author |
Jean-Jose Razafindrakoto |
author2 |
Jean-Jose Razafindrakoto |
format |
E-Thesis |
publishDate |
2012 |
institution |
Swansea University |
college_str |
Faculty of Science and Engineering |
hierarchytype |
|
hierarchy_top_id |
facultyofscienceandengineering |
hierarchy_top_title |
Faculty of Science and Engineering |
hierarchy_parent_id |
facultyofscienceandengineering |
hierarchy_parent_title |
Faculty of Science and Engineering |
department_str |
School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science |
document_store_str |
1 |
active_str |
0 |
published_date |
2012-12-31T03:54:04Z |
_version_ |
1763752694148759552 |
score |
11.0241995 |