Você está em: Start > Publications > View > Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction

Map of Premises

Publication

Publications

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

Title

Type

Article in International Scientific Journal

Date

2016

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

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

Preface to special issue: LINEARITY 2014 (2018)
Another Publication in an International Scientific Journal
Sandra Alves; Cervesato, I

LINEARITY (2012)
Other Publications
Sandra Alves; Ian Mackie

LINEARITY (2015)
Other Publications
Sandra Alves; Iliano Cervesato

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