Go to:
Logótipo
Você está em: Start > Publications > View > ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Map of Premises
Principal
Publication

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Title
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Type
International Conference Proceedings Book
Year
2020
Conference International
15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA)
Salvador, BRAZIL, AUG 27-28, 2020
Other information
Language: English
Type (Professor's evaluation): Scientific
Collection: Electronic Notes in Theoretical Computer Science
Vol.: 269
Documents
We could not find any documents associated to the publication.
Publications included
EVL: A Typed Higher-order Functional Language for EventsImported from Authenticus
Article in International Conference Proceedings Book
Sandra Alves (Author) (FCUP); Fernandez, M (Author) (Other); Ramos, M (Author) (Other)
2020
Indexing
Recommend this page Top
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-09-05 at 00:36:47 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book