Skip to content

A Complete Connection Calculus with Rigid E-Unification.

Uwe Petermann

VenueBJELIA
Year1994
ProceedingsJELIA

Browse the full JELIA paper archive.