[lkb] LKB Type Hierarchy

[Glenn Slayden]

The determination of required GLB (greatest lower bound) types is accomplished according to the following method:
Hassan Aït-Kaci, Robert Boyer, Patrick Lincoln, and Roger Nasr. 1989. Efficient Implementation of Lattice Operations. ACM
Transactions on Programming Languages and Systems, 115-146.
Glenn
 
 
From: lkb-bounces at emmtee.net [mailto:lkb-bounces at emmtee.net] On Behalf Of Roswell C. Miller
Sent: Tuesday, August 27, 2013 11:28 AM
To: lkb at delph-in.net
Subject: [lkb] LKB Type Hierarchy
 
Can anyone refer me to or email me a detailed description of the algorithm(s) used in LKB to “complete” the type hierarchy for ERG?
 
Thanks for the help.
 
_______________________
Roswell C. Miller
399 Main Ave Apt 501
Norwalk, CT 06851
203-253-6453
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.delph-in.net/archives/lkb/attachments/20130901/dffd548e/attachment.html>