Proving Termination of Input-Consuming Logic Programs (1999)

Cached

Download Links

by Jan-Georg Smaus
Citations:14 - 5 self

Document Versions

Proving Termination of Input-Consuming Logic Programs –Jan-Georg Smaus — 1999