First-order unification using variable-free relational algebra - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira. First-order unification using variable-free relational algebra. In Mircea Marin, editor, Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008. pages 40-54, 2008. [doi]

This author has not been identified. Look up 'Emilio Jesús Gallego Arias' in GoogleThis author has not been identified. Look up 'James Lipton' in GoogleThis author has not been identified. Look up 'Julio Mariño' in GoogleThis author has not been identified. Look up 'Pablo Nogueira' in Google

runs on WebDSL