Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Confirmed Publications: 79



31
TITLE: Categorical foundations for randomly timed automata  Full Text
AUTHORS: Mateus, P ; Morais, M ; Nunes, C ; Pacheco, A ; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2003, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 308, ISSUE: 1-3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
32
TITLE: Fibring logics with topos semantics
AUTHORS: Coniglio, ME; Sernadas, AC ; Sernadas, CS ;
PUBLISHED: 2003, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 13, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
33
TITLE: Fibring Non-Truth-Functional Logics: Completeness Preservation
AUTHORS: Carlos Caleiro; Walter Alexandre Carnielli; Marcelo E Coniglio; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2003, SOURCE: J. Log. Lang. Inf., VOLUME: 12, ISSUE: 2
INDEXED IN: DBLP
34
TITLE: Truth-values as labels: A general recipe for labelled deduction
AUTHORS: Sernadas, C ; Vigano, L; Rasga, J ; Sernadas, A ;
PUBLISHED: 2003, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 13, ISSUE: 3-4
INDEXED IN: Scopus CrossRef
IN MY: ORCID
35
TITLE: A two-level temporal logic for evolving specifications  Full Text
AUTHORS: Schobbens, PY; Saake, G; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2002, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 83, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
36
TITLE: Fibring labelled deduction systems
AUTHORS: Rasga, J ; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLISHED: 2002, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 12, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
37
TITLE: Fibring model first-order logics: Completeness preservation  Full Text
AUTHORS: Sernadas, A ; Sernadas, C ; Zanardo, A;
PUBLISHED: 2002, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 10, ISSUE: 4
INDEXED IN: WOS CrossRef
IN MY: ResearcherID
38
TITLE: Labelled deduction over algebras of truth-values
AUTHORS: Rasga, J; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLISHED: 2002, SOURCE: 4th International Workshop on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, VOLUME: 2309
INDEXED IN: WOS
IN MY: ResearcherID
39
TITLE: Labelled deduction over algebras of truth-values
AUTHORS: Rasga, J; Sernadas, A; Sernadas, C ; Viganò, L;
PUBLISHED: 2002, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
40
TITLE: Labelled Deduction over Algebras of Truth-Values*
AUTHORS: João Rasga; Amílcar Sernadas ; Cristina Sernadas ; Luca Viganò;
PUBLISHED: 2002, SOURCE: Frontiers of Combining Systems - Lecture Notes in Computer Science
INDEXED IN: CrossRef
Page 4 of 8. Total results: 79.

footer slogan

Useful Links

Get Help

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