Publications (161,635)

Unification in an extensional lambda calculus with ordered function sorts and constant overloading (1994)

Kohlhase M

Conference contribution, Original article

Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J

Conference contribution, Original article

Kerber M, Kohlhase M

Conference contribution, Original article

Huang X, Kerber M, Kohlhase M, Richts J

Conference contribution, Original article

Rabenstein R

Journal article, Original article

Rabenstein R

Journal article, Original article

Rabenstein R

Journal article, Original article

Hecht C

Other publication type

Ellermann J, Sutter J, Knoch F, Moll M

Journal article, Original article

Libuda J

Conference contribution

‹ 1 ... 15,859 15,860 15,861 15,862 15,863 ... 16,164 ›