Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

80

Voted

SLP
1993

45views more SLP 1993»

Order-Sorted Feature Theory Unification

15 years 4 months ago

Order-Sorted Feature Theory Unification

Download www.hpl.hp.com

Hassan Aït-Kaci, Andreas Podelski, Seth Copen

Real-time Traffic

SLP 1993 |

claim paper

Related Content

» OrderSorted Unification with Regular Expression Sorts

» Type classes with more higherorder polymorphism

» Lambek Theorem Proving And Feature Unification

» Optimizing HigherOrder Pattern Unification

» Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzz...

» Type inference principal typings and letpolymorphism for firstclass mixin modules

» A uniform approach to accelerated PageRank computation

» From ML to MLF graphic type constraints with efficient type inference

» Hyperbolic Smoothing of Shapes

Post Info
More Details (n/a)

Added	02 Nov 2010
Updated	02 Nov 2010
Type	Conference
Year	1993
Where	SLP
Authors	Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein

Comments (0)