Termination proofs of rewriting systems heuristics for generating polynomial orderings von Steinbach, Joachim

Vade-mecum of polynomial orderings von Steinbach, Joachim, Zehnter, Michael

Dynamic features of topographical multiset orderings for terms von Fettig, Roland, Müller, Jürgen, Steinbach, Joachim

Proving termination of associative-communicative rewriting systems using the Knuth-Bendix ordering von Steinbach, Joachim

Path and decomposition orderings for proving AC-termination von Steinbach, Joachim

Comparing on strings iterated syllable ordering & recursive path ordering von Steinbach, Joachim

COMTES - Vervollständigung von Termersetzungssystemen von Steinbach, Joachim

CALDO Dokumentation u. Analyse von Softwaresystemen von Sohns, Harald, Steinbach, Joachim

Comparing on strings iterated syllable ordering and recursive path ordering von Steinbach, Joachim

Proving termination of associative-commutative rewriting systems using the Knuth-Bendix ordering von Steinbach, Joachim

Term orderings with status von Steinbach, Joachim

Das Inkardinationsrecht eine rechtsvergleichende Untersuchung der kodikarischen Normen des CIC und des CCEO aufgrund der konziliaren Lehre von Steinbach, Joachim

Inhaltsverzeichnis

A reduction ordering for higher-order terms von Avenhaus, Jürgen, Loría-Sáenz, Carlos, Steinbach, Joachim

Termination of rewriting extensions, comparison and automatic generation of simplification orderings von Steinbach, Joachim

Inhaltsverzeichnis

Immunologische Charakterisierung von Fibroblasten von Steinbach, Joachim Peter 1966-

On the complexity of simplification orderings von Steinbach, Joachim

Notes on transformation orderings von Steinbach, Joachim

Check your ordering termination proofs and open problems von Steinbach, Joachim, Kühler, Ulrich

Vade-mecum of polynomial orderings von Steinbach, Joachim, Zehnter, Michael

Path and decomposition orderings for proving AC-termination von Steinbach, Joachim