1
Assuntos:
“...[en] PROOF THEORY...”
[en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION
Tese
2
Assuntos:
“...[en] PROOF ASSISTANT...”
[en] FORMALIZATION OF CRYPTOGRAPHY ALGORITHMS IN AN INTERACTIVE THEOREM PROVER
Tese
3
Assuntos:
“...[en] PROOF THEORY...”
[pt] APLICAÇÕES DA PRIMEIRA PROVA DE CONSISTÊNCIA APRESENTADA POR GENTZEN PARA A ARITMÉTICA DE PEANO
Tese
4
5
Assuntos:
“...[en] PROOF...”
[en] DISCHARGE IN SETTLEMENTS RELATED TO NON-CONTRACTUAL OBLIGATIONS
Tese
6
7
8
Assuntos:
“...[en] PROOF THEORY...”
[pt] CÁLCULO DE SEQÜENTES DE SUCEDENTE MÚLTIPLO PARA LÓGICA INTUICIONISTA DE PRIMEIRA ORDEM
Tese
9
Assuntos:
“...[en] PROOF THEORY...”
[pt] ALGUNS RESULTADOS EM TEORIA DE PROVA BASEADO EM GRAFOS
Tese
10
Assuntos:
“...Burden of proof...”
Distribuição dinâmica do ônus da prova no direito processual do trabalho
Dissertação
11
12
13
Assuntos:
“...[en] PROOF SEARCH...”
[pt] SISTEMAS DE PROVA E GERAÇÃO DE CONTRA EXEMPLO PARA LÓGICA PROPOSICIONAL MINIMAL IMPLICACIONAL
Tese
14
Assuntos:
“...[en] PROOF THEORY...”
[en] A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
Tese
15
Assuntos:
“...[en] PROOF THEORY...”
[pt] ALGUMAS RELAÇÕES ENTRE CÁLCULO DE SEQUENTES E DEDUÇÃO NATURAL
Tese
16
Assuntos:
“...[en] PROOF COMPRESSION...”
[en] ARGUING NP = PSPACE: ON THE COVERAGE AND SOUNDNESS OF THE HORIZONTAL COMPRESSION ALGORITHM
Tese
17
Assuntos:
“...Burden of proof...”
Análise crítica da distribuição dinâmica do ônus da prova
Dissertação
18
Assuntos:
“...Proof theory...”
Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques
Tese