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...
Uložené v:
| Hlavný autor: | |
|---|---|
| Ďalší autori: | |
| Médium: | Kapitola |
| Jazyk: | Slovak |
| Predmet: | |
| Tagy: |
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Shrnutí: | 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. |
|---|