Você está em: Início > Publicações > Visualização > 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK

Mapa das Instalações

Publicação

Pesquisa de Publicações

Publicações

3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK

Título

3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UKExportar publicação no formato APA Exportar publicação no formato EXCEL Exportar publicação no formato RIS

Tipo

Livro de Atas de Conferência Internacional

Data

2018

Título

3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK

Tipo

Livro de Atas de Conferência Internacional

Ano

2018

Outras Informações

Idioma: Inglês

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

ISBN: 978-3-95977-077-4

Coleção: LIPIcs

Vol.: 108

Documentos

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

Publicações Contidas

A Unifying Framework for Type InhabitationImportada do Authenticus

Artigo em Livro de Atas de Conferência Internacional

Sandra Alves (Autor) (FCUP); Broda, S (Autor) (FCUP)

2018

Classificação Científica

Recomendar Página Voltar ao Topo

Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto I Termos e Condições I Acessibilidade I Índice A-Z
Página gerada em: 2025-08-21 às 02:36:27 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias