๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A call for unification

โœ Scribed by Stidham, Thomas A.


Book ID
109642799
Publisher
Nature Publishing Group
Year
1999
Tongue
English
Weight
344 KB
Volume
399
Category
Article
ISSN
0028-0836

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


An algorithm for inversing a unification
โœ Tomek Strzalkowski ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 338 KB

An algorithm that inverses a unifkaticn parser written in FXOLOG into a generator for naNd language is presented. Some aspects of applicability of the algorithm arc discussed. ' MSEA'S of basic predicates, such as mncat. art assumed to k known apriori; MSEA'S for recunive predicates are first comput