Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jan-Georg Smaus, Patricia M. Hill, Andy King. Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. In Pierre Flener, editor, Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR 98, Manchester, UK, June 15-19, 1998, Proceedings. Volume 1559 of Lecture Notes in Computer Science, pages 289-307, Springer, 1998. [doi]

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

Jan-Georg Smaus

Look up 'Jan-Georg Smaus' in GoogleThis author has not been identified. Look up 'Patricia M. Hill' in GoogleThis author has not been identified. Look up 'Andy King' in Google

runs on WebDSL