Publication | Closed Access

Higher Order Unification via Explicit Substitutions

EngineeringAutomated ReasoningType TheoryFormal MethodsHigher Order UnificationHigher-order LogicUnification GrammarFormal Verification