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...
Na minha lista:
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | Capítulo de Livro |
| Idioma: | eslovaco |
| Assuntos: | |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|