TY  - SER
AU  - Hoang Le Tien
AU  - Vila s Wuwongse, 
AU  - Huynh,Ngoc Phien
AU  - Sadananda,Ramakoti
ED  - The Government of Australia, 
TI  - An algebraic approach to the unification problem of logic programming
T2  - Research studies project report
PY  - 1985///
CY  - Bangkok
PB  - Asian Institute of Technology
KW  - Algebraic logic
N1  - A Research Study submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology; Research Studies Project Report (M. Eng.) - Asian Institute of Technology, 1985
N2  - This study formulates the unification problem of logic  programming as an algebraic problem in which the minimal solution  has to be found to satisfy a system of equations with variables  ranging over a power set . Conditions for the solution to exist  are examined and a procedure to obtain it is developed
UR  - http://203.159.5.9/ait-thesis/detail.php?q=B19825
ER  -