Publicações

Publicações com os mesmos autores da publicação Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction

Agrupar Por: Tipo Ano Ordenação: Título Ano Tipo de Publicação

Outra Publicação em Revista Científica Internacional

Preface to special issue: LINEARITY 2014

Sandra Alves (Autor) (FCUP); Cervesato, I (Autor) (Outra)

2018

Indexação

ISI Web of Knowledge

Scopus

Outras Publicações

LINEARITY

Sandra Alves (Autor) (FCUP); Ian Mackie (Autor) (Outra)

2012

Indexação

ISI Web of Knowledge

LINEARITY

Sandra Alves (Autor) (FCUP); Iliano Cervesato (Autor) (Outra)

2015

Indexação

ISI Web of Knowledge

Linear Recursion

Sandra Alves (Autor) (FCUP); Maribel Fernández (Autor) (Outra); Mário Florido (Autor) (Outra); Ian Mackie (Autor) (Outra)

2010

Indexação

ISI Web of Knowledge

EVL: a typed functional language for event processing

Sandra Alves (Autor) (FCUP); Fernández, M (Autor) (Outra); Ramos, M (Autor) (Outra)

2021

A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations

Sandra Alves (Autor) (FCUP); Iglésias, J (Autor) (Outra)

2021

Artigo em Revista Científica Internacional

Weak linearization of the lambda calculus

Alves, S (Autor) (FCUP); Florido, M (Autor) (FCUP)

2005

Classificação Científica Indexação

ISI Web of Knowledge - 4 Citações

Scopus - 7 Citações

FOS: Ciências da computação e da informação

The power of linear functions

Sandra Alves (Autor) (FCUP); Maribel Fernandez (Autor) (Outra); Mirio Florido (Autor) (FCUP); Ian Mackie (Autor) (Outra)

2006

Classificação Científica Indexação

ISI Web of Knowledge - 9 Citações

Scopus - 15 Citações

FOS: Ciências da computação e da informação

The Power of Closed Reduction Strategies

Alves, S (Autor) (FCUP); Fernandez, M (Autor) (Outra); Florido, M (Autor) (FCUP); Mackie, I (Autor) (Outra)

2007

Indexação

ISI Web of Knowledge

Scopus - 4 Citações

Report on women in logic 2020 & 2021

Sandra Alves (Autor) (FCUP); Kiefer, S (Autor) (Outra); Sokolova, A (Autor) (Outra)

2022

Proceedings 2nd International Workshop on Linearity

Sandra Alves (Autor) (FCUP); Ian Mackie (Autor) (Outra)

2012

Preface to special issue: LSFA 2017 and 2018

Sandra Alves (Autor) (FCUP); Wassermann, R (Autor) (Outra)

2021

Preface

Sandra Alves (Autor) (FCUP); Wasserman, R (Autor) (Outra)

2018

Pattern-based calculi with finitary matching

Sandra Alves (Autor) (FCUP); Dundua, B (Autor) (Outra); Florido, M (Autor) (FCUP); Kutsia, T (Autor) (Outra)

2018

Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 2 Citações

Minimality in a Linear Calculus with Iteration

Alves, S (Autor) (FCUP); Florido, M (Autor) (FCUP); Mackie, I (Autor) (Outra); Sinot, FR (Autor) (Outra)

2008

Indexação

ISI Web of Knowledge

Scopus

Linearization by program transformation

Alves, S (Autor) (FCUP); Florido, M (Autor) (FCUP)

2003

Classificação Científica Indexação

ISI Web of Knowledge

Scopus - 1 Citação

FOS: Ciências da computação e da informação

Linearity and iterator types for Gödel's System ¿

Alves, S (Autor) (FCUP); Fernandez, M (Autor) (Outra); Florido, M (Autor) (FCUP); MacKie, I (Autor) (Outra)

2010

Indexação

ISI Web of Knowledge

Scopus - 2 Citações

Linearity: A Roadmap

Sandra Alves (Autor) (FCUP); Maribel Fernandez (Autor) (Outra); Mario Florido (Autor) (FCUP); Ian Mackie (Autor) (Outra)

2014

Classificação Científica Indexação

ISI Web of Knowledge

Scopus

FOS: Ciências da computação e da informação

Godel's system T revisited

Sandra Alves (Autor) (FCUP); Maribel Fernandez (Autor) (Outra); Mario Florido (Autor) (FCUP); Ian Mackie (Autor) (Outra)

2010

Classificação Científica Indexação

ISI Web of Knowledge - 11 Citações

Scopus - 16 Citações

FOS: Ciências da computação e da informação

A short note on type-inhabitation: Formula-trees vs. game semantics

Alves, S (Autor) (FCUP); Broda, S (Autor) (FCUP)

2015

Classificação Científica Indexação

ISI Web of Knowledge - 4 Citações

Scopus - 4 Citações

FOS: Ciências da computação e da informação

Registos 1 a 20 de 45

 

1

  2 3