Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
Publication

Publications

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

Title
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
Type
International Conference Proceedings Book
Year
2022
Conference International
19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022
27 September 2022 through 29 September 2022
Other information
Language: English
Type (Professor's evaluation): Scientific
ISBN: 978-3-031-17714-9
Electronic ISBN: 978-3-031-17714-9
Collection: Lecture Notes in Computer Science
Vol.: 13572
Documents
We could not find any documents associated to the publication.
Publications included
Quantitative Weak LinearisationImported from Authenticus
Article in International Conference Proceedings Book
Sandra Alves (Author) (FCUP); Ventura, D (Author) (Other)
2022
Indexing
Structural Rules and Algebraic Properties of Intersection TypesImported from Authenticus
Article in International Conference Proceedings Book
Sandra Alves (Author) (FCUP); Florido, M (Author) (FCUP)
2022
Indexing
Type Inference for Rank-2 Intersection Types Using Set UnificationImported from Authenticus
Article in International Conference Proceedings Book
Ângelo, P (Author) (Other); Florido, M (Author) (FCUP)
2022
Indexing
Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-18 at 20:25:08 | Privacy Policy | Personal Data Protection Policy | Whistleblowing