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

Año de publicación: 2008

Volumen: 9

Número: 3

Tipo: Artículo

DOI: 10.1145/1352582.1352585 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Fuente de los datos: Scopus