$$\newcommand{\bra}[1]{\left<#1\right|}\newcommand{\ket}[1]{\left|#1\right>}\newcommand{\bk}[2]{\left<#1\middle|#2\right>}\newcommand{\bke}[3]{\left<#1\middle|#2\middle|#3\right>}$$
X
INFORMAÇÕES SOBRE DIREITOS AUTORAIS


As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.

A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.

A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.

A violação de direitos autorais é passível de sanções civis e penais.
Estatísticas > Conteúdo - Acesso

Número: 24302 Tipo de Acesso: PUBLIC
Título: ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: CECILIA REIS ENGLANDER LUSTOSA
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
GILLES DOWEK - Coorientador

Curso: GRADUATE PROGRAM IN COMPUTER SCIENCE
Título Outorgado: DOCTOR IN COMPUTER SCIENCE
Área: COMPUTER THEORY
Catalogação: 19/03/2015 Defesa: 08/07/2014 Língua: ENGLISH - UNITED STATES Países: 56 Visitas: 1584 Partições: 8

  País  Visitas 
ALGERIA 1
ARGENTINA16
AUSTRALIA3
AUSTRIA1
BANGLADESH1
BRAZIL280
BULGARIA1
CANADA14
CHINA108
10 COLOMBIA1
11 DOMINICAN REPUBLIC1
12 EGYPT2
13 ESTONIA 1
14 FINLAND2
15 FRANCE61
16 GERMANY153
17 HONG KONG16
18 HUNGARY1
19 INDIA12
20 INDONESIA4
21 IRAN, ISLAMIC REPUBLIC OF10
22 IRELAND3
23 ITALY14
24 JAPAN8
25 JORDAN 1
26 KOREA, REPUBLIC OF8
27 LATVIA2
28 LITHUANIA3
29 MEXICO20
30 MOLDOVA, REPUBLIC OF1
31 MOROCCO2
32 NETHERLANDS10
33 NORWAY2
34 PAKISTAN1
35 PERU1
36 PHILIPPINES9
37 POLAND5
38 PORTUGAL6
39 ROMANIA1
40 RUSSIAN FEDERATION34
41 SERBIA2
42 SINGAPORE61
43 SPAIN16
44 SWEDEN12
45 SWITZERLAND21
46 TAIWAN1
47 TANZANIA, UNITED REPUBLIC OF8
48 TRINIDAD AND TOBAGO1
49 TURKEY4
50 UKRAINE5
51 UNIDENTIFIED COUNTRY4
52 UNITED ARAB EMIRATES 1
53 UNITED KINGDOM15
54 UNITED STATES603
55 URUGUAY2
56 VIET NAM8
  Total Geral1584
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui