Determinacy analysis for logic programs using mode and type information

  1. López-García, P.
  2. Bueno, F.
  3. Hermenegildo, M.
Aktak:
Lecture Notes in Computer Science

ISSN: 0302-9743

Argitalpen urtea: 2005

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004. Revised Selected Papers

Alea: 3573

Orrialdeak: 19-35

Mota: Biltzar ekarpena

DOI: 10.1007/11506676_2 GOOGLE SCHOLAR
Datuen iturria: Scopus