Searching for "Order Sorted Feature Theory Unification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

Order-Sorted Feature Theory Unification
by Hassan Aït-Kaci, Hassan At-kaci, Hassan At-kaci, Andreas Podelski, Andreas Podelski, Andreas Podelski, Seth Copen Goldstein, Seth Copen Goldstein, Seth Copen Goldstein — 1997
… Goldstein Order-Sorted Feature Theory Unification 32 Order-Sorted Feature Theory Unification Hassan At…
Cited by 16 (2 self) – Add To MetaCart

Hassan At-Kaci Andreas Podelski Seth Copen Goldstein May
by Publication Notes, Hassan At-kaci, Hassan At-kaci, Hassan At-kaci, Andreas Podelski, Andreas Podelski, Andreas Podelski, Seth Copen Goldstein, Seth Copen Goldstein, Seth Copen Goldstein — 1993 — PRL Research Report 32, Digital Equipment Corporation, Paris Research Laboratory, Rueil-Malmaison
… Goldstein Order-Sorted Feature Theory Unification 32 Order-Sorted Feature Theory Unification Hassan At…
Add To MetaCart

Conditional Rewriting Modulo a Built-in Algebra; Jürgen Avenhaus and Klaus
by Franz Baader, Jörg Siekmann, Wayne Snyder, Mohamed Adi, Claude Kirchner
… of the AC Theory; Mohamed Adi and Claude Kirchner 7 Order-Sorted Feature Theory Unification; Hassan Ait…
Add To MetaCart

Contents Conditional Rewriting Modulo a Built-in Algebra; J"urgen Avenhaus and Klaus
by Unification Schloss Dagstuhl, Germany Franz, Siekmann Wayne Snyder — 1992
… on the Syntacticity of the AC Theory; Mohamed Adi and Claude Kirchner 7 Order-Sorted Feature Theory Unification…
Add To MetaCart

An Abstract Machine to Implement Functions in LIFE
by Seth Copen Goldstein, Seth Copen Goldstein — 1992
…. Working with them on order-sorted feature theory unification was a truly enlivening process. Finally, I…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 5.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB