Amilcar dos Santos Costa Sernadas
AuthID: R-000-0HS
11
TÃTULO: Inevitability in branching time
AUTORES: Carmo, J; Sernadas, A;
PUBLICAÇÃO: 1989, FONTE: International Symposium on Logical Foundations of Computer Science, 1989 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 363 LNCS
AUTORES: Carmo, J; Sernadas, A;
PUBLICAÇÃO: 1989, FONTE: International Symposium on Logical Foundations of Computer Science, 1989 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 363 LNCS
INDEXADO EM: 
Scopus
Scopus12
TÃTULO: Specification and verification of database dynamics
AUTORES: Jos� Fiadeiro; Am�lcar Sernadas;
PUBLICAÇÃO: 1988, FONTE: Acta Informatica, VOLUME: 25, NÚMERO: 6
AUTORES: Jos� Fiadeiro; Am�lcar Sernadas;
PUBLICAÇÃO: 1988, FONTE: Acta Informatica, VOLUME: 25, NÚMERO: 6
13
TÃTULO: OBJECT-ORIENTED SPEClFlCATlON OF DATABASES: AN ALGEBRAlC APPROACH
AUTORES: Amílcar Sernadas; Cristina Sernadas; Hans Dieter Ehrich;
PUBLICAÇÃO: 1987, FONTE: 13th International Conference on Very Large Data Bases, VLDB 1987 in VLDB 1987 - Proceedings of the 13th International Conference on Very Large Data Bases
AUTORES: Amílcar Sernadas; Cristina Sernadas; Hans Dieter Ehrich;
PUBLICAÇÃO: 1987, FONTE: 13th International Conference on Very Large Data Bases, VLDB 1987 in VLDB 1987 - Proceedings of the 13th International Conference on Very Large Data Bases
INDEXADO EM: Scopus
Scopus