Login / Signup

Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewriting Systems.

Gianni AguzziU. Modigliani
Published in: FSTTCS (1993)
Keyphrases