António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Confirmed Publications: 65



41
TITLE: Linear Recursion PDF
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1001.3368
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
42
TITLE: Linearity and iterator types for Gödel's System ℐ
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLISHED: 2010, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 23, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
43
TITLE: Preface  Full Text
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 22
INDEXED IN: Scopus CrossRef
IN MY: ORCID
44
45
TITLE: Collaborative Schema Construction using Regular Sequence Types
AUTHORS: Jorge Coelho ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2008, SOURCE: IEEE International Conference on Information Reuse and Integration in PROCEEDINGS OF THE 2009 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
46
TITLE: Minimality in a Linear Calculus with Iteration
AUTHORS: Alves, S ; Florido, M ; Mackie, I; Sinot, FR;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 204, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
47
TITLE: Iterator types
AUTHORS: Sandra Alves ; Maribel Fernndez; Mario Florido ; Ian Mackie;
PUBLISHED: 2007, SOURCE: 10th International Conference on Fundamental Approaches to Software Engineering in Foundations of Software Science and Computational Structures, Proceedings, VOLUME: 4423
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
48
TITLE: Linear recursive functions
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2007, SOURCE: Festschrift held in Honor of Jean-Pierre Jouannauds 60th Birthday on Rewriting, Computation and Proof in Rewriting, Computation and Proof: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY, VOLUME: 4600
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
49
TITLE: Sequence disunification and its application in Collaborative Schema Construction
AUTHORS: Jorge Coelho ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2007, SOURCE: 8th International Conference on Web Information Systems Engineering (WISE 2007) in WEB INFORMATION SYSTEMS ENGINEERING - WISE 2007 WORKSHOPS, VOLUME: 4832
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
50
TITLE: The Power of Closed Reduction Strategies
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 174, ISSUE: 10 SPEC. ISS.
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
Page 5 of 7. Total results: 65.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service