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...

Full description

Bibliographic Details

Main Author:	Prívara, I.
Other Authors:	Ružička, P.
Format:	Book Chapter
Language:	Slovak
Subjects:	unifikácia programovanie algoritmy
Tags:	Add Tag No Tags, Be the first to tag this record!