Stem rpo$ (all stems)

4 papers:

FoSSaCS-2008-GianantonioHL #higher-order #λ-calculus

RPO, Second-Order Contexts, and λ-Calculus (PDG, FH, ML), pp. 334–349.

CL-2000-NarendranR #decidability #formal method

The Theory of Total Unary RPO Is Decidable (PN, MR), pp. 660–672.

RTA-1999-Rubio

A Fully Syntactic AC-RPO (AR), pp. 133–147.

CSL-1998-NarendranRV #constraints #theorem proving

RPO Constraint Solving Is in NP (PN, MR, RMV), pp. 385–398.