An Abstract Machine to Implement Functions in LIFE

 

DEC Paris Research Lab Technical Report No. Note 18

Seth Copen Goldstein

1992


download pdf


@techreport{goldstein-prl92,
  author = {Goldstein, Seth Copen},
  title = {An Abstract Machine to Implement Functions in LIFE},
  url = {http://www.cs.cmu.edu/~seth/papers/goldstein-prl92.pdf},
  institution = {DEC Paris Research Lab},
  year = {1992},
  number = {Note 18},
  keywords = {Logic Programming}
}

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