Você está em: Início > Publicações > Visualização > Inhabitation machines: determinism and principality

Mapa das Instalações

Publicação

Publicações

Inhabitation machines: determinism and principality

Título

Tipo

Artigo em Livro de Atas de Conferência Internacional

Data

2017

Título

Inhabitation machines: determinism and principality

Tipo

Artigo em Livro de Atas de Conferência Internacional

Ano

2017

Autores

Sandra Alves

(Autor)

FCUP

Broda, S

(Autor)

FCUP

Ata de Conferência Internacional

Título: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017. Pesquisar Publicações da Ata de Conferência

Páginas: 57-70

Outras Informações

ID Authenticus: P-00M-YM5

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Documentos

Não foi encontrado nenhum documento associado à publicação.

Publicações Relacionadas

Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types (2019)
Artigo em Livro de Atas de Conferência Internacional
Sandra Alves; Broda, S

A Unifying Framework for Type Inhabitation (2018)
Artigo em Livro de Atas de Conferência Internacional
Sandra Alves; Broda, S

A Typed Language for Events (2015)
Artigo em Livro de Atas de Conferência Internacional
Sandra Alves; Broda, S; Maribel FernÃ¡ndez