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

  País  Visitas 
ALGERIA 2
ARGENTINA12
ASIA PACIFIC REGION1
AUSTRALIA1
BANGLADESH1
BOLIVIA1
BRAZIL472
CAMBODIA3
CANADA9
10 CHILE1
11 CHINA71
12 CZECH REPUBLIC5
13 DENMARK4
14 EGYPT1
15 FINLAND2
16 FRANCE41
17 GERMANY82
18 GREECE3
19 HONG KONG8
20 HUNGARY4
21 INDIA14
22 INDONESIA2
23 IRAN, ISLAMIC REPUBLIC OF5
24 IRELAND5
25 ITALY8
26 JAPAN7
27 KOREA, REPUBLIC OF4
28 MEXICO12
29 NETHERLANDS15
30 NIGERIA2
31 NORWAY1
32 PERU12
33 PHILIPPINES3
34 PORTUGAL26
35 ROMANIA6
36 RUSSIAN FEDERATION37
37 SINGAPORE15
38 SLOVAKIA13
39 SOUTH AFRICA2
40 SPAIN12
41 SWEDEN1
42 SWITZERLAND1
43 TAIWAN1
44 THAILAND1
45 TURKEY8
46 UNITED KINGDOM1
47 UNITED STATES772
48 VIET NAM3
  Total Geral1713
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