Lazy Narrowing: Strong Completeness and Eager Variable Elimination - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aart Middeldorp, Satoshi Okui, Tetsuo Ida. Lazy Narrowing: Strong Completeness and Eager Variable Elimination. In Robert Nieuwenhuis, Albert Rubio, editors, 9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995. pages 43-46, 1995.

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

Aart Middeldorp

Look up 'Aart Middeldorp' in GoogleThis author has not been identified. Look up 'Satoshi Okui' in GoogleThis author has not been identified. Look up 'Tetsuo Ida' in Google

runs on WebDSL