Inferring non-suspension conditions for logic programs with dynamic scheduling

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

ISSN: 1557-945X,  1529-3785

Datum der Publikation: 2008

Ausgabe: 9

Nummer: 3

Art: Artikel

DOI: 10.1145/1352582.1352585 GOOGLE SCHOLAR
Datenquelle: Scopus