Go to:
Logótipo
Você está em: Start > Publications > View > Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction
Map of Premises
Principal
Publication

Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction

Title
Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction
Type
Article in International Scientific Journal
Year
2016
Authors
Sandra Alves
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Other information
Authenticus ID: P-00M-DEC
Language: English
Type (Professor's evaluation): Scientific
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Preface to special issue: LINEARITY 2014 (2018)
Another Publication in an International Scientific Journal
Sandra Alves; Cervesato, I
Linear Recursion (2010)
Other Publications
Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie
EVL: a typed functional language for event processing (2021)
Other Publications
Sandra Alves; Fernández, M; Ramos, M
A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations (2021)
Other Publications
Sandra Alves; Iglésias, J
Weak linearization of the lambda calculus (2005)
Article in International Scientific Journal
Alves, S; Florido, M

See all (49)

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-30 at 16:32:04 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book