Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Publicações Confirmadas: 79



41
TÍTULO: Modulated fibring and the collapsing problem
AUTORES: Sernadas, C ; Rasga, J ; Carnielli, WA;
PUBLICAÇÃO: 2002, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 67, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
42
TÍTULO: Fibring: Completeness preservation
AUTORES: Zanardo, A; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2001, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 66, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
43
TÍTULO: Probabilistic situation calculus  Full Text
AUTORES: Mateus, P ; Pacheco, A ; Pinto, J; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2001, FONTE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 32, NÚMERO: 1-4
INDEXADO EM: Scopus WOS CrossRef: 14
NO MEU: ORCID | ResearcherID
44
TÍTULO: Non-determinism and uncertainty in the situation calculus  Full Text
AUTORES: Pinto, J; Sernadas, A ; Sernadas, C ; Mateus, P ;
PUBLICAÇÃO: 2000, FONTE: Symposium on Special Tack on Uncetain Reasoning Held at the 12th Intenational FLAIRS Conference in INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, VOLUME: 8, NÚMERO: 2
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
45
TÍTULO: Fibring of logics as a categorial construction
AUTORES: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLICAÇÃO: 1999, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 9, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 44
NO MEU: ORCID
46
TÍTULO: Parameterisation of logics  Full Text
AUTORES: Caleiro, C ; Sernadas, C ; Sernadas, A ;
PUBLICAÇÃO: 1999, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
47
TÍTULO: Precategories for combining probabilistic automata
AUTORES: Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 1999, FONTE: CTCS '99, Conference on Category Theory and Computer Science in Electronic Notes in Theoretical Computer Science, VOLUME: 29
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
48
TÍTULO: Denotational semantics of object specification  Full Text
AUTORES: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLICAÇÃO: 1998, FONTE: ACTA INFORMATICA, VOLUME: 35, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID
49
TÍTULO: Synchronization of Logics
AUTORES: Amílcar Sernadas ; Cristina Sernadas ; Carlos Caleiro ;
PUBLICAÇÃO: 1997, FONTE: Stud Logica, VOLUME: 59, NÚMERO: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
50
TÍTULO: Synchronization of Logics with Mixed Rules: Completeness Preservation
AUTORES: Amílcar Sernadas; Cristina Sernadas ; Carlos Caleiro ;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in AMAST, VOLUME: 1349
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
Página 5 de 8. Total de resultados: 79.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service