Concepedia

Jürgen Avenhaus

JA

Statistics

Publications

8

Citations

154

H-Index

8

Active since

1980

Affiliations

University of Kaiserslautern(Current)

Jürgen Avenhaus is an author at University of Kaiserslautern specializing in computer science, mathematics, and natural sciences.

Publications per year

1980–2003

8

Publications

8

On using ground joinable equations in equational theorem proving

Jürgen Avenhaus, Th. Hillenbrand, Bernd Löchner · Journal of Symbolic Computation · 2003 · 36 citations

, , +9

The Nielsen reduction and P-complete problems in free groups

Jürgen Avenhaus, Klaus Madlener · Theoretical Computer Science · 1984 · 31 citations

, , +9

Groups presented by finite two-monadic Church-Rosser Thue systems

Jürgen Avenhaus, Klaus Madlener, F. Otto · Transactions of the American Mathematical Society · 1986 · 22 citations

, , +10

On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids

Jürgen Avenhaus, Ronald V. Book, Craig C. Squier · RAIRO Informatique théorique · 1984 · 16 citations · Full text

, , +6

String matching and algorithmic problems in free groups

Jürgen Avenhaus, Klaus Madlener · 1980 · 15 citations

, , +10

1–5 of 8