Você está em: Início > Publicações > Visualização > DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018

Publicação

DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018

Título

Tipo

Livro de Atas de Conferência Internacional

Data

2018

Título

DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018

Tipo

Livro de Atas de Conferência Internacional

Ano

2018

Conferência Internacional

20th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS)

Saint Mary's Univ, Halifax, CANADA, JUL 25-27, 2018

Outras Informações

Idioma: Inglês

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

ISBN: 978-3-319-94631-3; 978-3-319-94630-6

ISBN Eletrónico: 978-3-319-94630-6

Coleção: Lecture Notes in Computer Science

Vol.: 10952

Documentos

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

Publicações Contidas

Artigo em Livro de Atas de Conferência Internacional

Ferreira, M (Autor) (Outra); Nelma Moreira (Autor) (FCUP); Rogério Reis (Autor) (FCUP)

2018