Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses

  1. Lopez-Garcia, P.
  2. Bueno, F.
  3. Hermenegildo, M.
Aldizkaria:
New Generation Computing

ISSN: 0288-3635

Argitalpen urtea: 2010

Alea: 28

Zenbakia: 2

Orrialdeak: 177-206

Mota: Biltzar ekarpena

DOI: 10.1007/S00354-008-0085-1 GOOGLE SCHOLAR
Datuen iturria: Scopus