Jose Manuel Cunha Leal Molarinho Carmo
AuthID: R-000-8HQ
11
TÃTULO: INEVITABILITY IN BRANCHING TIME
AUTORES: CARMO, J; SERNADAS, A ;
PUBLICAÇÃO: 1989, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 363
AUTORES: CARMO, J; SERNADAS, A ;
PUBLICAÇÃO: 1989, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 363
INDEXADO EM: 
WOS
WOS12
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
Scopus13
TÃTULO: INFOLOG BRANCHING LOGIC OF EVENTS.
AUTORES: Jose Carmo;
PUBLICAÇÃO: 1985, FONTE: Information Systems: Theoretical and Formal Aspects.
AUTORES: Jose Carmo;
PUBLICAÇÃO: 1985, FONTE: Information Systems: Theoretical and Formal Aspects.
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID