António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Confirmed Publications: 66



41
TITLE: A Rule-Based Approach to XML Processing and Web Reasoning  Full Text
AUTHORS: Coelho, J ; Dundua, B ; Florido, M ; Kutsia, T;
PUBLISHED: 2010, SOURCE: 4th International Conference on Web Reasoning and Rule Systems in WEB REASONING AND RULE SYSTEMS, VOLUME: 6333
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
42
TITLE: Godel's system T revisited  Full Text
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13
INDEXED IN: Scopus WOS DBLP CrossRef: 17
IN MY: ORCID | DBLP | CIÊNCIAVITAE
43
TITLE: Linear Recursion
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1001.3368
INDEXED IN: DBLP
IN MY: ORCID | DBLP
44
TITLE: Linearity and iterator types for Gödel's System
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: High. Order Symb. Comput., VOLUME: 23, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
45
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
46
47
TITLE: Collaborative Schema Construction using Regular Sequence Types
AUTHORS: Coelho, J ; Florido, M ; Kutsia, T;
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 | CIÊNCIAVITAE
48
TITLE: Iterator types
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
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 | CIÊNCIAVITAE
49
TITLE: Linear recursive functions  Full Text
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2007, SOURCE: Festschrift held in Honor of Jean-Pierre Jouannauds 60th Birthday on Rewriting, Computation and Proof in REWRITING, COMPUTATION AND PROOF, VOLUME: 4600
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
50
TITLE: Minimality in a Linear Calculus with Iteration
AUTHORS: Sandra Alves ; Mário Florido ; Ian Mackie; François Régis Sinot;
PUBLISHED: 2007, SOURCE: WRS@RDP, VOLUME: 204, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 5 of 7. Total results: 66.

footer slogan

Useful Links

Get Help

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