$$\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: 47 Visitas: 1368 Partições: 8

  País  Visitas 
ALGERIA 1
ARGENTINA16
AUSTRALIA1
AUSTRIA1
BANGLADESH1
BRAZIL253
BULGARIA1
CANADA7
CHINA87
10 EGYPT2
11 ESTONIA 1
12 FINLAND2
13 FRANCE56
14 GERMANY137
15 HONG KONG15
16 HUNGARY1
17 INDIA6
18 INDONESIA3
19 IRAN, ISLAMIC REPUBLIC OF9
20 IRELAND1
21 ITALY14
22 JAPAN6
23 KOREA, REPUBLIC OF2
24 LATVIA2
25 LITHUANIA3
26 MEXICO16
27 NETHERLANDS9
28 NORWAY2
29 PERU1
30 PHILIPPINES9
31 POLAND5
32 PORTUGAL6
33 ROMANIA1
34 RUSSIAN FEDERATION34
35 SERBIA2
36 SINGAPORE48
37 SPAIN15
38 SWEDEN11
39 SWITZERLAND18
40 TAIWAN1
41 TANZANIA, UNITED REPUBLIC OF8
42 UKRAINE5
43 UNIDENTIFIED COUNTRY1
44 UNITED KINGDOM12
45 UNITED STATES532
46 URUGUAY2
47 VIET NAM2
  Total Geral1368
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui