complete unificationcomputing dictionary

<computer programming> W.P. Weijland's name for unification without occur check.

(01 Feb 1996)

complete tetanus, complete theory, complete transduction < Prev | Next > complex, complex carbohydrate, complex closure

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums