Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 72



61
TITLE: Combining logics: Parchments revisited
AUTHORS: Caleiro, C ; Mateus, P ; Ramos, J; Sernadas, A;
PUBLISHED: 2002, SOURCE: 15th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2001, Joint with the CoFI WG Meeting in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2267 LNCS
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
62
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 DBLP CrossRef: 7
IN MY: DBLP
63
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
64
TITLE: Specifying communication in distributed information systems
AUTHORS: Ehrich, HD; Caleiro, C ;
PUBLISHED: 2000, SOURCE: ACTA INFORMATICA, VOLUME: 36, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: DBLP
65
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: 44
IN MY: DBLP
66
TITLE: Parameterisation of logics
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: Scopus WOS DBLP CrossRef: 9
IN MY: DBLP
67
TITLE: Denotational semantics of object specification
AUTHORS: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLISHED: 1998, SOURCE: ACTA INFORMATICA, VOLUME: 35, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: DBLP
68
TITLE: A Linear Temporal Logic Approach to Objects with Transactions
AUTHORS: Grit Denker; Jaime Ramos; Carlos Caleiro ; Amílcar Sernadas;
PUBLISHED: 1997, SOURCE: AMAST, VOLUME: 1349
INDEXED IN: Scopus DBLP
IN MY: DBLP
69
TITLE: Synchronization of Logics
AUTHORS: Amílcar Sernadas ; Cristina Sernadas ; Carlos Caleiro ;
PUBLISHED: 1997, SOURCE: Stud Logica, VOLUME: 59, ISSUE: 1
INDEXED IN: Scopus DBLP
IN MY: DBLP
70
TITLE: Synchronization of Logics with Mixed Rules: Completeness Preservation
AUTHORS: Amílcar Sernadas; Cristina Sernadas ; Carlos Caleiro ;
PUBLISHED: 1997, SOURCE: AMAST, VOLUME: 1349
INDEXED IN: Scopus DBLP
IN MY: DBLP
Page 7 of 8. Total results: 72.

footer slogan

Useful Links

Get Help

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