Inferring non-suspension conditions for logic programs with dynamic scheduling

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

ISSN: 1557-945X,  1529-3785

Argitalpen urtea: 2008

Alea: 9

Zenbakia: 3

Mota: Artikulua

DOI: 10.1145/1352582.1352585 GOOGLE SCHOLAR
Datuen iturria: Scopus