Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Publicações

Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Título
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
Tipo
Livro de Atas de Conferência Internacional
Ano
2022
Conferência Internacional
19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022
27 September 2022 through 29 September 2022
Outras Informações
Idioma: Inglês
Tipo (Avaliação Docente): Científica
ISBN: 978-3-031-17714-9
ISBN Eletrónico: 978-3-031-17714-9
Coleção: Lecture Notes in Computer Science
Vol.: 13572
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Contidas
Quantitative Weak LinearisationImportada do Authenticus
Artigo em Livro de Atas de Conferência Internacional
Sandra Alves (Autor) (FCUP); Ventura, D (Autor) (Outra)
Structural Rules and Algebraic Properties of Intersection TypesImportada do Authenticus
Artigo em Livro de Atas de Conferência Internacional
Sandra Alves (Autor) (FCUP); Florido, M (Autor) (FCUP)
Type Inference for Rank-2 Intersection Types Using Set UnificationImportada do Authenticus
Artigo em Livro de Atas de Conferência Internacional
Ângelo, P (Autor) (Outra); Florido, M (Autor) (FCUP)
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-09-16 às 06:03:52 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico