Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Confirmed Publications: 83



41
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
42
TITLE: Modulated fibring and the collapsing problem
AUTHORS: Sernadas, C ; Rasga, J ; Carnielli, WA;
PUBLISHED: 2002, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 67, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
43
TITLE: Fibring: Completeness preservation
AUTHORS: Zanardo, A; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2001, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 66, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
44
TITLE: Probabilistic situation calculus  Full Text
AUTHORS: Mateus, P ; Pacheco, A ; Pinto, J; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2001, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 32, ISSUE: 1-4
INDEXED IN: Scopus WOS CrossRef: 14
IN MY: ORCID | ResearcherID
45
TITLE: Non-determinism and uncertainty in the situation calculus  Full Text
AUTHORS: Pinto, J; Sernadas, A ; Sernadas, C ; Mateus, P ;
PUBLISHED: 2000, SOURCE: 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, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
46
TITLE: Fibring of logics as a categorial construction
AUTHORS: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLISHED: 1999, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 9, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID
47
TITLE: Parameterisation of logics  Full Text
AUTHORS: Caleiro, C ; Sernadas, C ; Sernadas, A ;
PUBLISHED: 1999, SOURCE: 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
INDEXED IN: WOS
IN MY: ResearcherID
48
TITLE: Parameterisation of Logics
AUTHORS: Carlos Caleiro ; Cristina Sernadas ; Amílcar Sernadas ;
PUBLISHED: 1999, SOURCE: Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID
49
TITLE: Precategories for combining probabilistic automata
AUTHORS: Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLISHED: 1999, SOURCE: CTCS '99, Conference on Category Theory and Computer Science in Electronic Notes in Theoretical Computer Science, VOLUME: 29
INDEXED IN: Scopus CrossRef
IN MY: ORCID
50
TITLE: Denotational semantics of object specification  Full Text
AUTHORS: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLISHED: 1998, SOURCE: ACTA INFORMATICA, VOLUME: 35, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID
Page 5 of 9. Total results: 83.

A place for researchers and their institutions

Useful Links

Get Help

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