Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 73



61
TITLE: Combining logics: Parchments revisited
AUTHORS: Caleiro, C ; Mateus, P ; Ramos, J ; Sernadas, A ;
PUBLISHED: 2001, SOURCE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
INDEXED IN: WOS CrossRef: 7
62
TITLE: Non-truth-functional fibred semantics
AUTHORS: Caleiro, C ; Marcos, J;
PUBLISHED: 2001, SOURCE: International Conference on Artificial Intelligence in IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III
INDEXED IN: WOS
63
TITLE: Specifying communication in distributed information systems  Full Text
AUTHORS: Ehrich, HD; Caleiro, C ;
PUBLISHED: 2000, SOURCE: ACTA INFORMATICA, VOLUME: 36, ISSUE: 8
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
64
TITLE: Fibring of logics as a categorial construction
AUTHORS: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLISHED: 1999, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 9, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
65
TITLE: Parameterisation of logics  Full Text
AUTHORS: Caleiro, C ; Sernadas, C ; Sernadas, A ;
PUBLISHED: 1999, SOURCE: 13th International Workshop on Algebraic Development Techniques at the 1st European Joint Conferences on Theory and Practice of Software in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 1589
INDEXED IN: WOS
66
TITLE: Parameterisation of Logics
AUTHORS: Carlos Caleiro ; Cristina Sernadas ; Amílcar Sernadas ;
PUBLISHED: 1999, SOURCE: Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
67
TITLE: Denotational semantics of object specification  Full Text
AUTHORS: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLISHED: 1998, SOURCE: ACTA INFORMATICA, VOLUME: 35, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
68
TITLE: Parameterisation of Logics
AUTHORS: Carlos Caleiro ; Cristina Sernadas ; Amílcar Sernadas ;
PUBLISHED: 1998, SOURCE: 13th International Workshop on Algebraic Development Techniques, WADT 1998 in Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers, VOLUME: 1589
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
69
TITLE: A linear temporal logic approach to objects with transactions
AUTHORS: Denker, G; Ramos, J; Caleiro, C ; Sernadas, A;
PUBLISHED: 1997, SOURCE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
70
TITLE: Synchronization of Logics  Full Text
AUTHORS: Amílcar Sernadas ; Cristina Sernadas ; Carlos Caleiro ;
PUBLISHED: 1997, SOURCE: Studia Logica, VOLUME: 59, ISSUE: 1
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 7 of 8. Total results: 73.

footer slogan

Useful Links

Get Help

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