Variácie na tému unifikácia. 1.

Pohľad na riešenie problému unifikácie a príbuzných unifikačných problémov. Efektívne algoritmy na riešenie problému unifikácie opierajúce sa o tri základné myšlienky - Robinsonovu, Huetovu, resp. Martelliho a Montanariho. Spoločným motívom implementácie týchto myšlienok je kompaktná reprezentácia s...

Full description

Bibliographic Details

Main Author:	Prívara, I.
Other Authors:	Ružička, P.
Format:	Book Chapter
Language:	Slovak
Subjects:	programovanie logika jazyky programovacie jazykoveda unifikácia algoritmy
Tags:	Add Tag No Tags, Be the first to tag this record!