$$\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 Idioma(s): ENGLISH - UNITED STATES Países: 40 Visitas: 952 Partições: 8

  País  Visitas 
ALGERIA 1
ARGENTINA6
AUSTRIA1
BRAZIL231
BULGARIA1
CANADA6
CHINA78
EGYPT2
FINLAND2
10 FRANCE47
11 GERMANY116
12 HONG KONG1
13 HUNGARY1
14 INDIA3
15 INDONESIA1
16 IRAN, ISLAMIC REPUBLIC OF9
17 IRELAND1
18 ITALY11
19 JAPAN5
20 KOREA, REPUBLIC OF2
21 LATVIA1
22 LITHUANIA1
23 MEXICO14
24 NETHERLANDS6
25 PERU1
26 PHILIPPINES9
27 POLAND4
28 PORTUGAL5
29 ROMANIA1
30 RUSSIAN FEDERATION2
31 SERBIA2
32 SINGAPORE25
33 SPAIN2
34 SWEDEN3
35 SWITZERLAND1
36 TAIWAN1
37 UKRAINE5
38 UNITED KINGDOM2
39 UNITED STATES341
40 URUGUAY1
  Total Geral952
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui
    Senha Maxwell, clique aqui