Order-sorted feature theory unification

 

DEC Paris Research Labs Technical Report No. PRL-RR-32

Ait-Kaci Hassan, Andreas Podelski, and Seth Copen Goldstein

1993


download pdf


@techreport{ait-kaci-prl93,
  author = {Hassan, Ait-Kaci and Podelski, Andreas and Goldstein, Seth
     Copen},
  title = {Order-sorted feature theory unification},
  institution = {DEC Paris Research Labs},
  number = {PRL-RR-32},
  year = {1993},
  see = {ait-kaci-jlp97},
  keywords = {Logic Programming},
  url = {http://www.cs.cmu.edu/~seth/papers/ait-kaci-prl93.pdf}
}

Related Papers
Logic Programming
Order-sorted feature theory unification
Ait-Kaci Hassan, Andreas Podelski, and Seth Copen Goldstein. The Journal of Logic Programming, 30(2):99–124,February, 1997. Also appeared as Proceedings of the International Symposium on Logic Programming (ILPS), 1993 and as DEC Technical Report PRL-RR-32.
Order-sorted feature theory unification
Ait-Kaci Hassan, Andreas Podelski, and Seth Copen Goldstein. DEC Paris Research Labs Technical Report No. PRL-RR-32, 1993. See ait-kaci-jlp97.
An Abstract Machine to Implement Functions in LIFE
Seth Copen Goldstein. DEC Paris Research Lab Technical Report No. Note 18, 1992.


Back to publications list