Início
Painéis de Indicadores
Ferramentas
Carrot2
Visão
Equipe
Sobre
Contato
Inglês
Inglês
Português
A Lógica dos Recursos no Formalismo de Redes de Petri
Documento
Visão geral
Pesquisas
Identidade
Ver todos
Visão geral
orientado por
Edward Hermann Haeusler
tipo
doctoral thesis
autores
Eliana Silva de Almeida
data de publicação
1998-01-01
Pesquisas
áreas de investigação
Lógicas e Semântica de Programas
palavras-chave
Eliminação do Corte
Lógicas Subestruturais
Redes de Petri
Semântica Operacional
Identidade
identificador BrCris
d703493d4d879ec19a1db054d289f5c3