Publications

Publications with the same authors as the International Workshop on Reduction Strategies in Rewriting and Programming publication

Group by: Tipo Ano Order: Title Year Type of publication

Another Publication in an International Scientific Journal

Preface to special issue: LINEARITY 2014

Sandra Alves (Author) (FCUP); Cervesato, I (Author) (Other)

2018

Indexing

ISI Web of Knowledge

Scopus

Other Publications

LINEARITY

Sandra Alves (Author) (FCUP); Ian Mackie (Author) (Other)

2012

Indexing

ISI Web of Knowledge

LINEARITY

Sandra Alves (Author) (FCUP); Iliano Cervesato (Author) (Other)

2015

Indexing

ISI Web of Knowledge

Linear Recursion

Sandra Alves (Author) (FCUP); Maribel Fernández (Author) (Other); Mário Florido (Author) (Other); Ian Mackie (Author) (Other)

2010

Indexing

ISI Web of Knowledge

EVL: a typed functional language for event processing

Sandra Alves (Author) (FCUP); Fernández, M (Author) (Other); Ramos, M (Author) (Other)

2021

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

Sandra Alves (Author) (FCUP); Iglésias, J (Author) (Other)

2021

Article in International Scientific Journal

Weak linearization of the lambda calculus

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

2005

Scientific classification Indexing

ISI Web of Knowledge - 4 Citations

Scopus - 7 Citations

FOS: Computer and information sciences

The power of linear functions

Sandra Alves (Author) (FCUP); Maribel Fernandez (Author) (Other); Mirio Florido (Author) (FCUP); Ian Mackie (Author) (Other)

2006

Scientific classification Indexing

ISI Web of Knowledge - 9 Citations

Scopus - 15 Citations

FOS: Computer and information sciences

The Power of Closed Reduction Strategies

Alves, S (Author) (FCUP); Fernandez, M (Author) (Other); Florido, M (Author) (FCUP); Mackie, I (Author) (Other)

2007

Indexing

ISI Web of Knowledge

Scopus - 4 Citations

Report on women in logic 2020 & 2021

Sandra Alves (Author) (FCUP); Kiefer, S (Author) (Other); Sokolova, A (Author) (Other)

2022

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

Sandra Alves (Author) (FCUP)

2016

Proceedings 2nd International Workshop on Linearity

Sandra Alves (Author) (FCUP); Ian Mackie (Author) (Other)

2012

Preface to special issue: LSFA 2017 and 2018

Sandra Alves (Author) (FCUP); Wassermann, R (Author) (Other)

2021

Preface

Sandra Alves (Author) (FCUP); Wasserman, R (Author) (Other)

2018

Pattern-based calculi with finitary matching

Sandra Alves (Author) (FCUP); Dundua, B (Author) (Other); Florido, M (Author) (FCUP); Kutsia, T (Author) (Other)

2018

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 2 Citations

Minimality in a Linear Calculus with Iteration

Alves, S (Author) (FCUP); Florido, M (Author) (FCUP); Mackie, I (Author) (Other); Sinot, FR (Author) (Other)

2008

Indexing

ISI Web of Knowledge

Scopus

Linearization by program transformation

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

2003

Scientific classification Indexing

ISI Web of Knowledge

Scopus - 1 Citation

FOS: Computer and information sciences

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

Alves, S (Author) (FCUP); Fernandez, M (Author) (Other); Florido, M (Author) (FCUP); MacKie, I (Author) (Other)

2010

Indexing

ISI Web of Knowledge

Scopus - 2 Citations

Linearity: A Roadmap

Sandra Alves (Author) (FCUP); Maribel Fernandez (Author) (Other); Mario Florido (Author) (FCUP); Ian Mackie (Author) (Other)

2014

Scientific classification Indexing

ISI Web of Knowledge

Scopus

FOS: Computer and information sciences

Godel's system T revisited

Sandra Alves (Author) (FCUP); Maribel Fernandez (Author) (Other); Mario Florido (Author) (FCUP); Ian Mackie (Author) (Other)

2010

Scientific classification Indexing

ISI Web of Knowledge - 11 Citations

Scopus - 16 Citations

FOS: Computer and information sciences

Records 1 to 20 from 45

 

1

  2 3