Ana Lúcia Monteiro Durão Leitão
AuthID: R-000-0Y6
51
TITLE: Extended horn clauses: The framework and some semantics
AUTHORS: Jacquet, JM; Monteiro, L;
PUBLISHED: 1991, SOURCE: 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
AUTHORS: Jacquet, JM; Monteiro, L;
PUBLISHED: 1991, SOURCE: 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
INDEXED IN: 
Scopus
Scopus