Login
Login

most general unifier

  1. REDIRECT Unification (computer science)#Syntactic unification of first-order terms

{{R to section}}