Termination of simply model logic programs with dynamic scheduling

A. Bossi, S. Etalle, S. Rossi, J.G. Smaus

Research output: Book/Report › Report › Academic

Name	CTIT Technical Report
Volume	TR-CTIT-03-05

Cite this

TY - BOOK

T1 - Termination of simply model logic programs with dynamic scheduling

AU - Bossi, A.

AU - Etalle, S.

AU - Rossi, S.

AU - Smaus, J.G.

PY - 2003

Y1 - 2003

UR - http://www.ub.utwente.nl/webdocs/ctit/1/000000b5.pdf

M3 - Report

T3 - CTIT Technical Report

BT - Termination of simply model logic programs with dynamic scheduling

PB - Universiteit Twente

CY - Enschede

ER -