menu

Return to entry

Transitive_Closure_More
Renaming2
Lists_are_Infinite
Renaming2_String
Seq_More
Fun_More2
Option_Monad
Term
Term_Pair_Multiset
Abstract_Matching
Unifiers
Abstract_Unification
Subterm_and_Context
Unification
Matching
Unification_String
Subsumption
Position
Term_More
Term_Impl
Unification_More

First_Order_Terms.Abstract_Unification

HTML Presentation