A universal unification algorithm based on unification-driven leftmost outermost narrowing

Fassbender, Heinz and Vogler, Heiko: A universal unification algorithm based on unification-driven leftmost outermost narrowing. In: Acta cybernetica, (11) 3. pp. 139-167. (1994)

[img]
Preview
Cikk, tanulmány, mű
cybernetica_011_numb_003_139-167.pdf

Download (1MB) | Preview
Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 1994
Volume: 11
Number: 3
ISSN: 0324-721X
Page Range: pp. 139-167
Language: angol
Uncontrolled Keywords: Természettudomány
Additional Information: Bibliogr.: p. 166-167.; Abstract
Date Deposited: 2016. Oct. 15. 12:26
Last Modified: 2018. Feb. 27. 13:17
URI: http://acta.bibl.u-szeged.hu/id/eprint/12526

Actions (login required)

View Item View Item