1
TÍTULO: A Quantitative Understanding of Pattern Matching PDF
AUTORES: Sandra Alves ; Delia Kesner; Daniel Ventura;
FONTE: CoRR, VOLUME: abs/1912.01914, PUBLICAÇÃO: 2019
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
2
TÍTULO: Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTORES: Sandra Alves ; Sabine Broda ;
FONTE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
4
TÍTULO: 12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017
AUTORES: Sandra Alves ; Renata Wasserman;
FONTE: LSFA, VOLUME: 338, PUBLICAÇÃO: 2018
INDEXADO EM: DBLP
NO MEU: DBLP
5
TÍTULO: A Unifying Framework for Type Inhabitation
AUTORES: Sandra Alves ; Sabine Broda ;
FONTE: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, VOLUME: 108, PUBLICAÇÃO: 2018
INDEXADO EM: DBLP
NO MEU: DBLP
6
TÍTULO: Pattern-based calculi with finitary matching
AUTORES: Sandra Alves ; Besik Dundua; Mario Florido ; Temur Kutsia;
FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, NÚMERO: 2, PUBLICAÇÃO: 2018
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
7
TÍTULO: Preface
AUTORES: Sandra Alves ; Renata Wasserman;
FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 338, PUBLICAÇÃO: 2018
INDEXADO EM: DBLP
NO MEU: DBLP
8
TÍTULO: Preface to special issue: LINEARITY 2014
AUTORES: Sandra Alves ; Iliano Cervesato;
FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, NÚMERO: 5, PUBLICAÇÃO: 2018
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
9
TÍTULO: A graph-based framework for the analysis of access control policies  Full Text
AUTORES: Sandra Alves ; Maribel Fernandez;
FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 685, PUBLICAÇÃO: 2017
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
10
TÍTULO: Inhabitation machines: determinism and principality
AUTORES: Sandra Alves ; Sabine Broda ;
FONTE: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017., PUBLICAÇÃO: 2017
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
Página 1 de 4. Total de resultados: 37.