Tutorial on Termination of Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Danny De Schreye, Kristof Verschaetse. Tutorial on Termination of Logic Programs. In Alberto Pettorossi, editor, Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings. Volume 649 of Lecture Notes in Computer Science, pages 70-88, Springer, 1992.

This author has not been identified. It may be one of the following persons:

Danny De Schreye

Look up 'Danny De Schreye' in GoogleThis author has not been identified. Look up 'Kristof Verschaetse' in Google

runs on WebDSL