Ian Mackie
AuthID: R-00F-8S8
1
TÃTULO: Proceedings 13th International Workshop on Developments in Computational Models, DCM 2023, Rome, Italy, 2 July 2023
AUTORES: Sandra Alves ; Ian Mackie;
PUBLICAÇÃO: 2024, FONTE: DCM, VOLUME: 408
AUTORES: Sandra Alves ; Ian Mackie;
PUBLICAÇÃO: 2024, FONTE: DCM, VOLUME: 408
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Linearity: A Roadmap
AUTORES: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 4
AUTORES: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 4
3
TÃTULO: Linearity in Computation
AUTORES: Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2014, FONTE: J. Log. Comput., VOLUME: 24, NÚMERO: 3
AUTORES: Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2014, FONTE: J. Log. Comput., VOLUME: 24, NÚMERO: 3
4
TÃTULO: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012 Full Text
AUTORES: Sandra Alves ; Ian Mackie;
PUBLICAÇÃO: 2012, FONTE: LINEARITY, VOLUME: 101
AUTORES: Sandra Alves ; Ian Mackie;
PUBLICAÇÃO: 2012, FONTE: LINEARITY, VOLUME: 101
INDEXADO EM: DBLP 
CrossRef
DBLP CrossRef5
TÃTULO: Proceedings 2nd International Workshop on Linearity. Preface Full Text
AUTORES: Sandra Alves ; Ian Mackie;
PUBLICAÇÃO: 2012, FONTE: Electron. Proc. Theor. Comput. Sci. - Electronic Proceedings in Theoretical Computer Science - EPTCS, VOLUME: 101
AUTORES: Sandra Alves ; Ian Mackie;
PUBLICAÇÃO: 2012, FONTE: Electron. Proc. Theor. Comput. Sci. - Electronic Proceedings in Theoretical Computer Science - EPTCS, VOLUME: 101
INDEXADO EM: CrossRef
CrossRef6
TÃTULO: Linearity and Recursion in a Typed Lambda-Calculus
AUTORES: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLICAÇÃO: 2011, FONTE: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING
AUTORES: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLICAÇÃO: 2011, FONTE: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING
7
TÃTULO: A new graphical calculus of proofs Full Text
AUTORES: Sandra Alves ; Maribel Fernández; Ian Mackie;
PUBLICAÇÃO: 2011, FONTE: Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011., VOLUME: 48
AUTORES: Sandra Alves ; Maribel Fernández; Ian Mackie;
PUBLICAÇÃO: 2011, FONTE: Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011., VOLUME: 48
8
TÃTULO: Linearity and iterator types for Gödel's System ℐ
AUTORES: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLICAÇÃO: 2010, FONTE: Higher-Order and Symbolic Computation, VOLUME: 23, NÚMERO: 1
AUTORES: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLICAÇÃO: 2010, FONTE: Higher-Order and Symbolic Computation, VOLUME: 23, NÚMERO: 1
9
TÃTULO: Preface Full Text
AUTORES: Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2010, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 22
AUTORES: Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2010, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 22
INDEXADO EM: 
Scopus CrossRef
Scopus CrossRef10
TÃTULO: Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009 PDF
AUTORES: Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2009, FONTE: LINEARITY, VOLUME: 22
AUTORES: Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2009, FONTE: LINEARITY, VOLUME: 22
INDEXADO EM: DBLP 
arXiv
DBLP arXiv