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...
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | Capitolo di libro |
| Lingua: | slovacco |
| Soggetti: | |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|