Searching for authors named "Joachim Steinbach" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Towards the Generation of Polynomial Orderings
- …Towards the Generation of Polynomial Orderings 1) Joachim STEINBACH Universitat Kaiserslautern…
- Add To MetaCart
-
On the Complexity of Simplification Orderings
- …On the Complexity of Simplification Orderings Joachim STEINBACH Universitat Kaiserslautern FB…
- Cited by 1 (0 self) – Add To MetaCart
-
Freezing - Termination Proofs for Classical, Context-Sensitive and Innermost Rewriting
- …Freezing -- Termination Proofs for Classical, Context-Sensitive and Innermost Rewriting Joachim…
- Cited by 3 (0 self) – Add To MetaCart
-
A Reduction Ordering for Higher-Order Terms
- … , and Joachim Steinbach 3 1 Universitat Kaiserslautern Fachbereich Informatik, Postfach 3049 67653…
- Add To MetaCart
-
Model Elimination with Basic Ordered Paramodulation
- … --- Joachim Steinbach 1? 1 Institut fur Informatik, Technische Universitat Munchen 80290 Munchen, Germany…
- Cited by 9 (1 self) – Add To MetaCart
Showing 1 through 5.
