The recursive path and polynomial ordering for first-order and higher-order terms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, Albert Rubio. The recursive path and polynomial ordering for first-order and higher-order terms. Journal of Logic and Computation, 23(1):263-305, 2013. [doi]

This author has not been identified. Look up 'Miquel Bofill' in GoogleThis author has not been identified. Look up 'Cristina Borralleras' in GoogleThis author has not been identified. It may be one of the following persons:

Enric Rodríguez Carbonell

Look up 'Enric Rodríguez-Carbonell' in GoogleThis author has not been identified. Look up 'Albert Rubio' in Google

runs on WebDSL