Inferring termination conditions for logic programs using backwards analysis

  1. Genaim, S.
  2. Codish, M.
Zeitschrift:
Theory and Practice of Logic Programming

ISSN: 1471-0684

Datum der Publikation: 2005

Ausgabe: 5

Nummer: 1-2

Seiten: 75-91

Art: Rezension

DOI: 10.1017/S1471068404002236 GOOGLE SCHOLAR
Datenquelle: Scopus