Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Publicações Confirmadas: 88



41
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
42
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
43
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
44
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
45
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
46
TÍTULO: The situation and state calculus versus branching temporal logic  Full Text
AUTORES: Ramos, J ; Sernadas, A ;
PUBLICAÇÃO: 1999, FONTE: 13th International Workshop on Algebraic Development Techiniques 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
47
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
48
TÍTULO: Nonsequential automata semantics for a concurrent, object-based language
AUTORES: Menezes, PB; Sernadas, A ; Costa, JF ;
PUBLICAÇÃO: 1998, FONTE: US-Brazil Joint Workshops on the Formal Foundations of Software Systems in Electronic Notes in Theoretical Computer Science, VOLUME: 14
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
49
TÍTULO: Parameterisation of Logics
AUTORES: Carlos Caleiro ; Cristina Sernadas ; Amílcar Sernadas ;
PUBLICAÇÃO: 1998, FONTE: 13th International Workshop on Algebraic Development Techniques, WADT 1998 in Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers, VOLUME: 1589
INDEXADO EM: Scopus DBLP
50
TÍTULO: Synchronization of Logics  Full Text
AUTORES: Amílcar Sernadas ; Cristina Sernadas ; Carlos Caleiro ;
PUBLICAÇÃO: 1997, FONTE: Studia Logica, VOLUME: 59, NÚMERO: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
Página 5 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