Open AccessUMA ABORDAGEM EXPERIMENTAL SOBRE A COMPRESSÃO DE PROVAS EM DEDUÇÃO NATURAL MINIMAL IMPLICACIONAL
Author(s) -
JOSE FLAVIO CAVALCANTE BARROS
Publication year - 2019
Language(s) - Portuguese
Resource type - Dissertations/theses
DOI - 10.17771/pucrio.acad.47267
Subject(s) - tautology (logic) , mathematical proof , proof complexity , pspace , mathematics , natural deduction , proof theory , discrete mathematics , structural proof theory , intuitionistic logic , propositional calculus , calculus (dental) , computer science , algorithm , combinatorics , computational complexity theory , theoretical computer science , propositional variable , intermediate logic , medicine , geometry , dentistry , description logic
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom