$$\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: 24052 Tipo de Acesso: PÚBLICO
Título: EXTENSÕES DE LÓGICA PROPOSICIONAL DINÂMICA PARA REDES DE PETRI
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: BRUNO LOPES VIEIRA
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
GILLES DOWEK - Coorientador

Curso: PPG EM INFORMÁTICA
Título Outorgado: DOUTOR EM CIÊNCIAS - INFORMÁTICA
Área: TEORIA DA COMPUTAÇÃO
Catalogação: 10/02/2015 Defesa: 28/03/2014 Idioma(s): INGLÊS - ESTADOS UNIDOS Países: 48 Visitas: 1681 Partições: 8

  País  Visitas 
AFRICA DO SUL2
ALEMANHA79
ARGELIA2
ARGENTINA11
AUSTRALIA1
BANGLADESH1
BOLIVIA1
BRASIL465
CAMBODIA3
10 CANADA9
11 CHILE1
12 CHINA70
13 COREIA, REPUBLICA DA4
14 DINAMARCA3
15 EGITO1
16 ESLOVAQUIA13
17 ESPANHA12
18 ESTADOS UNIDOS753
19 FILIPINAS3
20 FINLANDIA2
21 FRANCA41
22 GRA-BRETANHA1
23 GRECIA3
24 HOLANDA15
25 HONG KONG 8
26 HUNGRIA4
27 INDIA14
28 INDONESIA2
29 IRA, REPUBLICA ISLAMICA DO5
30 IRLANDA5
31 ITALIA8
32 JAPAO7
33 MEXICO12
34 NIGERIA2
35 NORUEGA1
36 PERU12
37 PORTUGAL26
38 REGIAO ASIA PACIFICO1
39 REPUBLICA CHECA5
40 ROMENIA6
41 RUSSIA37
42 SINGAPURA15
43 SUECIA1
44 SUICA1
45 TAILANDIA1
46 TAIWAN1
47 TURQUIA8
48 VIETNA3
  Total Geral1681
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