Ana Lúcia Monteiro Durão Leitão
AuthID: R-000-0Y6
51
TÃTULO: Extended horn clauses: The framework and some semantics
AUTORES: Jacquet, JM; Monteiro, L;
PUBLICAÇÃO: 1991, FONTE: 2nd International Conference on Concurrency Theory, CONCUR 1991 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 527 LNCS
AUTORES: Jacquet, JM; Monteiro, L;
PUBLICAÇÃO: 1991, FONTE: 2nd International Conference on Concurrency Theory, CONCUR 1991 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 527 LNCS
INDEXADO EM: 
Scopus
Scopus