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

  1. Bofill, M.
  2. Borralleras, C.
  3. Rodríguez-Carbonell, E.
  4. Rubio, A.
Aldizkaria:
Journal of Logic and Computation

ISSN: 0955-792X,  1465-363X

Argitalpen urtea: 2013

Alea: 23

Zenbakia: 1

Orrialdeak: 263-305

Mota: Artikulua

DOI: 10.1093/LOGCOM/EXS027 GOOGLE SCHOLAR
Datuen iturria: Scopus