Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Publicações Confirmadas: 86



61
TÍTULO: A CATEGORIAL THEORY OF OBJECTS AS OBSERVED PROCESSES
AUTORES: EHRICH, HD; GOGUEN, JA; SERNADAS, A ;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 489
INDEXADO EM: WOS
NO MEU: ResearcherID
62
TÍTULO: A CATEGORIAL THEORY OF OBJECTS AS OBSERVED PROCESSES
AUTORES: EHRICH, HD; GOGUEN, JA; SERNADAS, A ;
PUBLICAÇÃO: 1991, FONTE: SCHOOL/WORKSHOP ON RESEARCH AND EDUCATION IN CONCURRENT SYSTEMS ORIENTED LANGUAGES in FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES: REX SCHOOL/WORKSHOP, VOLUME: 489
INDEXADO EM: WOS
NO MEU: ResearcherID
63
TÍTULO: FORMAL TECHNIQUES FOR SYSTEMS SPECIFICATION AND VERIFICATION  Full Text
AUTORES: CARMO, J ; SERNADAS, A ;
PUBLICAÇÃO: 1991, FONTE: INFORMATION SYSTEMS, VOLUME: 16, NÚMERO: 3
INDEXADO EM: Scopus WOS
NO MEU: ResearcherID
64
TÍTULO: Reasoning about objects using a tableau method
AUTORES: Li, R; Sernadas, A ;
PUBLICAÇÃO: 1991, FONTE: Journal of Logic and Computation, VOLUME: 1, NÚMERO: 5
INDEXADO EM: Scopus
65
TÍTULO: ALGEBRAIC IMPLEMENTATION OF OBJECTS OVER OBJECTS
AUTORES: EHRICH, HD; SERNADAS, A ;
PUBLICAÇÃO: 1990, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 430
INDEXADO EM: WOS
NO MEU: ResearcherID
66
TÍTULO: AN OBJECT-ORIENTED SPECIFICATION TOOL FOR GRAPHICAL INTERFACES  Full Text
AUTORES: SOUSA, JP; SERNADAS, C ; SERNADAS, A ;
PUBLICAÇÃO: 1990, FONTE: COMPUTERS & GRAPHICS, VOLUME: 14, NÚMERO: 1
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
67
TÍTULO: Branching versus linear logics yet again
AUTORES: Carmo, J ; Sernadas, A ;
PUBLICAÇÃO: 1990, FONTE: Formal Aspects of Computing, VOLUME: 2, NÚMERO: 1
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID
68
TÍTULO: Logics of modal terms for systems specification
AUTORES: Fiadeiro, J; Sernadas, A ;
PUBLICAÇÃO: 1990, FONTE: Journal of Logic and Computation, VOLUME: 1, NÚMERO: 2
INDEXADO EM: Scopus
69
TÍTULO: MODULAR CONSTRUCTION OF LOGIC KNOWLEDGE BASES - AN ALGEBRAIC APPROACH  Full Text
AUTORES: SERNADAS, C ; FIADEIRO, J; SERNADAS, A ;
PUBLICAÇÃO: 1990, FONTE: INFORMATION SYSTEMS, VOLUME: 15, NÚMERO: 1
INDEXADO EM: WOS
NO MEU: ResearcherID
70
TÍTULO: Modular construction of logic knowledge bases: An algebraic approach  Full Text
AUTORES: Cristina Sernadas ; José Fiadeiro; Amílcar Sernadas ;
PUBLICAÇÃO: 1990, FONTE: Information Systems, VOLUME: 15, NÚMERO: 1
INDEXADO EM: CrossRef
Página 7 de 9. Total de resultados: 86.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service