Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Publicações Confirmadas: 83



31
TÍTULO: Modal sequent calculi labelled with truth values: Completeness, duality and analyticity  Full Text
AUTORES: Paulo Mateus ; Amilcar Sernadas ; Cristina Sernadas ; Luca Vigano;
PUBLICAÇÃO: 2004, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 12, NÚMERO: 3
INDEXADO EM: WOS CrossRef
NO MEU: ResearcherID
32
TÍTULO: Categorical foundations for randomly timed automata  Full Text
AUTORES: Mateus, P ; Morais, M ; Nunes, C ; Pacheco, A ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2003, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 308, NÚMERO: 1-3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
33
TÍTULO: Fibring logics with topos semantics
AUTORES: Coniglio, ME; Sernadas, AC ; Sernadas, CS ;
PUBLICAÇÃO: 2003, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 13, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
34
TÍTULO: Fibring Non-Truth-Functional Logics: Completeness Preservation
AUTORES: Carlos Caleiro; Walter Alexandre Carnielli; Marcelo E Coniglio; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2003, FONTE: Journal of Logic, Language and Information, VOLUME: 12, NÚMERO: 2
INDEXADO EM: DBLP
35
TÍTULO: Truth-values as labels: A general recipe for labelled deduction
AUTORES: Sernadas, C ; Vigano, L; Rasga, J ; Sernadas, A ;
PUBLICAÇÃO: 2003, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 13, NÚMERO: 3-4
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
36
TÍTULO: A two-level temporal logic for evolving specifications  Full Text
AUTORES: Schobbens, PY; Saake, G; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2002, FONTE: INFORMATION PROCESSING LETTERS, VOLUME: 83, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
37
TÍTULO: Fibring labelled deduction systems
AUTORES: Rasga, J ; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLICAÇÃO: 2002, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 12, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
38
TÍTULO: Fibring model first-order logics: Completeness preservation  Full Text
AUTORES: Sernadas, A ; Sernadas, C ; Zanardo, A;
PUBLICAÇÃO: 2002, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 10, NÚMERO: 4
INDEXADO EM: WOS CrossRef
NO MEU: ResearcherID
39
TÍTULO: Labelled deduction over algebras of truth-values
AUTORES: Rasga, J; Sernadas, A; Sernadas, C ; Viganò, L;
PUBLICAÇÃO: 2002, FONTE: 4th International Workshop on Frontiers of Combining Systems, FroCoS 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2309
INDEXADO EM: Scopus
NO MEU: ORCID
40
TÍTULO: Labelled deduction over algebras of truth-values
AUTORES: Rasga, J; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLICAÇÃO: 2002, FONTE: 4th International Workshop on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, VOLUME: 2309
INDEXADO EM: WOS
NO MEU: ResearcherID
Página 4 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