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...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book Chapter |
| Language: | Slovak |
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000naa a2200000 4500 | ||
|---|---|---|---|
| 001 | r006715 | ||
| 005 | 20221125080359.0 | ||
| 041 | 0 | |a slo | |
| 044 | |a [CS] | ||
| 245 | 1 | 0 | |a Variácie na tému unifikácia. 2. |c I. Prívara, P. Ružička |
| 520 | |a 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. | ||
| 610 | 2 | 0 | |a unifikácia |
| 610 | 2 | 0 | |a programovanie |
| 610 | 2 | 0 | |a algoritmy |
| 100 | 1 | |a Prívara, I. | |
| 700 | 1 | |a Ružička, P. | |