Variácie na tému unifikácia. 2.
Druhá časť článku venovaného podaniu uceleného pohľadu na riešenie problému unifikácie a príbuzných unifikačných problémov. Sústredenie sa na zovšeobecnenia unifikácie (unifikácia nekonečných termov, sémantická unifikácia, mnohodruhová unifikácia, unifikácia termov druhého rádu). Prezentácia riešeni...
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í: | Druhá časť článku venovaného podaniu uceleného pohľadu na riešenie problému unifikácie a príbuzných unifikačných problémov. Sústredenie sa na zovšeobecnenia unifikácie (unifikácia nekonečných termov, sémantická unifikácia, mnohodruhová unifikácia, unifikácia termov druhého rádu). Prezentácia riešenia uvedených problémov jednotným spôsobom, a to na symbolickej úrovni. |
|---|