Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Publicações Confirmadas: 83



41
TÍTULO: Labelled Deduction over Algebras of Truth-Values*
AUTORES: João Rasga; Amílcar Sernadas ; Cristina Sernadas ; Luca Viganò;
PUBLICAÇÃO: 2002, FONTE: Frontiers of Combining Systems - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
42
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
43
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
44
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
45
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
46
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
NO MEU: ORCID | ResearcherID
47
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: WOS
NO MEU: ResearcherID
48
TÍTULO: Parameterisation of Logics
AUTORES: Carlos Caleiro ; Cristina Sernadas ; Amílcar Sernadas ;
PUBLICAÇÃO: 1999, FONTE: Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
49
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
50
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
NO MEU: ORCID | ResearcherID
Página 5 de 9. Total de resultados: 83.

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

Links Úteis

Ajuda

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