Manfred Schmidt-Schauß

Goethe University Frankfurt - Frankfurt / Germany

Others

AD Scientific Index ID: 4365555

Goethe-Universität Frankfurt

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Goethe University Frankfurt

Manfred Schmidt-Schauß's MOST POPULAR ARTICLES

1-) Attributive concept descriptions with complements Artificial intelligence 48 (1), 1-26, 1991

2-) Unification theory Handbook of automated reasoning 1, 445-532, 2001

3-) Subsumption in KL-ONE is undecidable Saarländische Universitäts-und Landesbibliothek, 1988

4-) Computational aspects of an order-sorted logic with term declarations Springer Berlin Heidelberg, 1989

5-) Unification in a combination of arbitrary disjoint equational theories Journal of Symbolic Computation 8 (1-2), 51-99, 1989

ARTICLES

Add your articles