menu

Return to entry

NU_Swap
NU_Terms
NU_Atoms
NU_Disagreement
NU_Fresh
NU_PreEqu
NU_Equ
NU_Substs
NU_Mgu
NU_Termination
NU_Soundness
NU_Completeness
NU_Computable
NU_Computable_Soundness
NU_Computable_Completeness

Nominal_Unification.NU_Completeness

HTML Presentation