A Strict Border for the Decidability of E-Unification for Recursive Functions (1998)

by Sebastian Maneth , Heinz Faßbender
Citations:3 - 0 self