$$\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: PUBLIC
Título: EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS
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: GRADUATE PROGRAM IN COMPUTER SCIENCE
Título Outorgado: DOCTOR IN COMPUTER SCIENCE
Área: COMPUTER THEORY
Catalogação: 10/02/2015 Defesa: 28/03/2014 Língua: ENGLISH - UNITED STATES Países: 52 Visitas: 2054 Partições: 8

  País  Visitas 
ALGERIA 2
ARGENTINA12
ASIA PACIFIC REGION1
AUSTRALIA3
AUSTRIA1
AZERBAIJAN1
BANGLADESH1
BOLIVIA1
BRAZIL502
10 CAMBODIA3
11 CANADA9
12 CHILE1
13 CHINA86
14 CZECH REPUBLIC5
15 DENMARK4
16 EGYPT1
17 FINLAND3
18 FRANCE42
19 GERMANY97
20 GREECE3
21 HONG KONG17
22 HUNGARY4
23 INDIA14
24 INDONESIA2
25 IRAN, ISLAMIC REPUBLIC OF6
26 IRELAND5
27 ITALY9
28 JAPAN7
29 KOREA, REPUBLIC OF4
30 MEXICO12
31 NETHERLANDS15
32 NIGERIA2
33 NORWAY1
34 PERU12
35 PHILIPPINES4
36 POLAND1
37 PORTUGAL26
38 ROMANIA8
39 RUSSIAN FEDERATION56
40 SINGAPORE63
41 SLOVAKIA13
42 SOUTH AFRICA2
43 SPAIN15
44 SWEDEN18
45 SWITZERLAND27
46 TAIWAN4
47 THAILAND1
48 TUNISIA1
49 TURKEY8
50 UNITED KINGDOM2
51 UNITED STATES914
52 VIET NAM3
  Total Geral2054
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui