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

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Prívara, I.
Weitere Verfasser:	Ružička, P.
Format:	Buchkapitel
Sprache:	Slowakisch
Schlagworte:	unifikácia programovanie algoritmy
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!