Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Publicações Confirmadas: 86



71
TÍTULO: ABSTRACT OBJECT TYPES - A TEMPORAL PERSPECTIVE
AUTORES: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLICAÇÃO: 1989, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 398
INDEXADO EM: WOS
NO MEU: ResearcherID
72
TÍTULO: ABSTRACT OBJECT TYPES - A TEMPORAL PERSPECTIVE
AUTORES: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLICAÇÃO: 1989, FONTE: INTERNATIONAL COLLOQUIUM ON TEMPORAL LOGIC IN SPECIFICATION in TEMPORAL LOGIC IN SPECIFICATION, VOLUME: 398
INDEXADO EM: WOS
73
TÍTULO: INEVITABILITY IN BRANCHING TIME
AUTORES: CARMO, J; SERNADAS, A ;
PUBLICAÇÃO: 1989, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 363
INDEXADO EM: WOS
NO MEU: ResearcherID
74
TÍTULO: OBJECTS, OBJECT TYPES, AND OBJECT IDENTIFICATION
AUTORES: EHRICH, HD; SERNADAS, A ; SERNADAS, C ;
PUBLICAÇÃO: 1989, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 393
INDEXADO EM: WOS
NO MEU: ResearcherID
75
TÍTULO: ABSTRACT OBJECT TYPES FOR DATABASES
AUTORES: EHRICH, HD; SERNADAS, A ; SERNADAS, C ;
PUBLICAÇÃO: 1988, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 334
INDEXADO EM: WOS
NO MEU: ResearcherID
76
TÍTULO: KNOWLEDGEBASES AS STRUCTURED THEORIES
AUTORES: FIADEIRO, J; SERNADAS, A ; SERNADAS, C ;
PUBLICAÇÃO: 1988, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 338
INDEXADO EM: WOS
NO MEU: ResearcherID
77
TÍTULO: SPECIFICATION AND VERIFICATION OF DATABASE DYNAMICS
AUTORES: FIADEIRO, J; SERNADAS, A ;
PUBLICAÇÃO: 1988, FONTE: ACTA INFORMATICA, VOLUME: 25, NÚMERO: 6
INDEXADO EM: Scopus WOS
NO MEU: ResearcherID
78
TÍTULO: STRUCTURING THEORIES ON CONSEQUENCE
AUTORES: FIADEIRO, J; SERNADAS, A ;
PUBLICAÇÃO: 1988, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 332
INDEXADO EM: WOS
NO MEU: ResearcherID
79
TÍTULO: THE INFOLOG LINEAR TENSE PROPOSITIONAL LOGIC OF EVENTS AND TRANSACTIONS  Full Text
AUTORES: FIADEIRO, J; SERNADAS, A ;
PUBLICAÇÃO: 1986, FONTE: INFORMATION SYSTEMS, VOLUME: 11, NÚMERO: 1
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
80
TÍTULO: The INFOLOG linear tense propositional logic of events and transactions  Full Text
AUTORES: José Fiadeiro; Amílcar Sernadas ;
PUBLICAÇÃO: 1986, FONTE: Information Systems, VOLUME: 11, NÚMERO: 1
INDEXADO EM: CrossRef
Página 8 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