Login / Signup

The recursive path and polynomial ordering for first-order and higher-order terms.

Miquel BofillCristina BorrallerasEnric Rodríguez-CarbonellAlbert Rubio
Published in: J. Log. Comput. (2013)
Keyphrases