Login / Signup

Quasi-terminating logic programs for ensuring the termination of partial evaluation.

Germán Vidal
Published in: PEPM (2007)
Keyphrases