Unifikation--Komplexität

Bemerkungen:

Bsp: Signatur {f /2, a/0} mathend000#,

unifiziere f (X1, f (X2, f (X3, f (X4, a)))) mathend000# mit f (f (X2, X2), f (f (X3, X3), f (f (X4, X4), f (a, a)))) mathend000#



Johannes Waldmann 2014-03-31