Inferring non-suspension conditions for logic programs with dynamic scheduling

  1. Genaim, S.
  2. King, A.
Revista:
ACM Transactions on Computational Logic

ISSN: 1557-945X,  1529-3785

Any de publicació: 2008

Volum: 9

Número: 3

Tipus: Article

DOI: 10.1145/1352582.1352585 GOOGLE SCHOLAR

Objectius de Desenvolupament Sostenible

Font de les dades: Scopus