Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Publicações Confirmadas: 88



31
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 | ResearcherID
32
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
33
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
34
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
35
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
36
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
37
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
38
TÍTULO: Combining logics: Parchments revisited
AUTORES: Caleiro, C ; Mateus, P ; Ramos, J ; Sernadas, A ;
PUBLICAÇÃO: 2001, FONTE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
INDEXADO EM: WOS CrossRef: 7
39
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
40
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
Página 4 de 9. Total de resultados: 88.

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