Počet záznamov: 1

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

Názov	Variácie na tému unifikácia. 1.
Autorské údaje	I. Prívara, P. Ružička
Autor	Prívara I.
Spoluautori	Ružička P.
Zdrojový dokument	Informačné systémy. Roč. 20, č. 1 (1991), s. 61-96
Druh dokumentu	rozpis článkov z periodík
Jazyk dokumentu	slovenčina
Krajina vydania	[CS]
Systematika	519.6 - Výpočtová matematika. Numerická analýza a programovanie počítačov
Heslá	programovanie * logika * jazyky programovacie * jazykoveda * unifikácia * algoritmy
Anotácia	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 spoločných podtermov v terme.
Báza dát	ČLÁNKY

článok

Počet záznamov: 1