Stem ramifi$ (all stems)

4 papers:

FoSSaCS-2015-LeivantR

The Computational Contents of Ramified Corecurrence (DL, RR), pp. 422–435.

TLCA-2001-Danner #dependent type

Ramified Recurrence with Dependent Types (ND), pp. 91–105.

LICS-1997-Goubault-Larrecq #higher-order #unification

Ramified Higher-Order Unification (JGL), pp. 410–421.

ICLP-1991-FujitaH #algorithm #generative #proving #theorem proving #using

A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm (HF, RH), pp. 535–548.