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

Canonical conditional rewrite systems containing extra variables von Avenhaus, Jürgen, Loría-Sáenz, Carlos

Groups presented by finite two-monadic Church-Rosser Thue systems von Avenhaus, Jürgen 1941-, Madlener, Klaus, Otto, Friedrich

On the termination of the Knuth-Bendix completion algorithm von Avenhaus, Jürgen

P-complete problems in free groups J. Avenhaus ; K. Madlener von Avenhaus, Jürgen, Madlener, Klaus

P-complete problems in free groups von Avenhaus, Jürgen, Madlener, Klaus

Polynomial algorithms for problems in free groups based on Nielsen type arguments von Avenhaus, Jürgen, Madlener, Klaus

Polynomial algorithms for problems in free groups based on Nielsen type arguments von Avenhaus, Jürgen, Madlener, Klaus

P-complete problems in free groups von Avenhaus, Jürgen, Madlener, Klaus

An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation von Avenhaus, Jürgen, Madlener, Klaus

Reduktionssysteme Rechnen und Schließen in gleichungsdefinierten Strukturen von Avenhaus, Jürgen

Inhaltsverzeichnis

General algorithms for permutations in equational inference von Avenhaus, Jürgen, Plaisted, David A.

Theorem proving in hierarchical clausal specifications von Avenhaus, Jürgen, Maldener, Klaus

Reduktionssysteme Rechnen und Schließen in gleichungsdefinierten Strukturen von Avenhaus, Jürgen

Volltext öffnen Volltext öffnen

Efficient AC1-matching using constraints von Avenhaus, Jürgen, Denzinger, Jörg, Hoffmann, T.

Conditional rewriting modulo a built-in algebra von Avenhaus, Jürgen, Becker, Klaus

On congruence and normal forms definable by term rewriting systems von Avenhaus, Jürgen 1941-

Polynomial time algorithms for the Nielsen reduction and related problems in free groups von Avenhaus, Jürgen, Madlener, Klaus

Polynomial algorithms for problems in free groups based on Nielsen type arguments von Avenhaus, Jürgen, Madlener, Klaus

Polynomial algorithms for problems in free groups based on Nielsen type arguments von Avenhaus, Jürgen, Madlener, Klaus