×
Compute Distance To:
Author ID: avenhaus.jurgen Recent zbMATH articles by "Avenhaus, Jürgen"
Published as: Avenhaus, J.; Avenhaus, Jürgen; Avenhaus, Juergen
Documents Indexed: 36 Publications since 1971, including 1 Book
Reviewing Activity: 18 Reviews
Co-Authors: 15 Co-Authors with 31 Joint Publications
266 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 113 times in 73 Documents Cited by Year
The Nielsen reduction and P-complete problems in free groups. Zbl 0555.20015
Avenhaus, J.; Madlener, K.
11
1984
Subrekursive Komplexität bei Gruppen. I: Gruppen mit vorgeschriebener Komplexität. Zbl 0371.02019
Avenhaus, J.; Madlener, K.
11
1977
String matching and algorithmic problems in free groups. Zbl 0514.20026
Avenhaus, Juergen; Madlener, Klaus
11
1980
On expressing commutativity by finite Church-Rosser presentations: A note on commutative monoids. Zbl 0542.20038
Avenhaus, Jürgen; Book, Ronald V.; Squier, Craig C.
9
1984
Groups presented by finite two-monadic Church-Rosser Thue systems. Zbl 0604.20034
Avenhaus, J.; Madlener, K.; Otto, F.
9
1986
On groups defined by monadic Thue systems. Zbl 0608.20045
Avenhaus, J.; Madlener, K.
8
1986
Subrekursive Komplexität bei Gruppen. II: Der Einbettungssatz von Higman für entscheidbare Gruppen. Zbl 0371.02020
Avenhaus, Jürgen; Madlener, K.
7
1978
Term rewriting and equational reasoning. Zbl 0704.68061
Avenhaus, J.; Madlener, K.
7
1990
On the complexity of intersection and conjugacy problems in free groups. Zbl 0555.20016
Avenhaus, J.; Madlener, K.
5
1984
Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität. Zbl 0396.03040
Avenhaus, J.; Madlener, K.
5
1978
How to compute generators for the intersection of subgroups in free groups. Zbl 0466.68036
Avenhaus, J.; Madlener, K.
5
1981
Logicality of conditional rewrite systems. Zbl 0938.68050
Yamada, T.; Avenhaus, J.; Loría-Sáenz, C.; Middeldorp, A.
4
2000
On using ground joinable equations in equational theorem proving. Zbl 1019.03005
Avenhaus, J.; Hillenbrand, Th.; Löchner, B.
3
2003
Reduction systems. (Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen.) Zbl 0827.68063
Avenhaus, Jürgen
3
1995
String matching and algorithmic problems in free groups. Zbl 0431.03031
Avenhaus, Jürgen; Madlener, Klaus
2
1980
Theorem proving in hierarchical clausal specifications. Zbl 0867.68096
Avenhaus, J.; Madlener, K.
2
1997
Zur numerischen Behandlung des Anfangswertproblems mit exakter Fehlererfassung. Zbl 0216.23403
Avenhaus, J.
2
1971
CCE: Testing ground joinability. Zbl 0988.68587
Avenhaus, Jürgen; Löchner, Bernd
1
2001
A framework for operational equational specifications with pre-defined structures. Zbl 0928.68078
Avenhaus, Jürgen; Becker, Klaus
1
1999
\(E_n-E_{n-1}\)-entscheidbare Gruppen. Zbl 0314.02055
Avenhaus, J.; Madlener, K.
1
1975
Komplexitätsuntersuchungen für Einrelatorgruppen. Zbl 0359.02044
Avenhaus, J.; Madlener, K.
1
1977
Komplexität bei Gruppen: Der Einbettungssatz von Higman. Zbl 0363.20030
Avenhaus, J.; Madlener, K.
1
1977
The Nielsen reduction as key problem to polynomial algorithms in free groups. Zbl 0548.68038
Avenhaus, J.; Madlener, K.
1
1982
General algorithms for permutations in equational inference. Zbl 0985.68026
Avenhaus, Jürgen; Plaisted, David A.
1
2001
An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation. Zbl 0494.20020
Avenhaus, J.; Madlener, K.
1
1981
Efficient algorithms for computing modulo permutation theories. Zbl 1126.68556
Avenhaus, Jürgen
1
2004
Efficient algorithms for computing modulo permutation theories. Zbl 1126.68556
Avenhaus, Jürgen
1
2004
On using ground joinable equations in equational theorem proving. Zbl 1019.03005
Avenhaus, J.; Hillenbrand, Th.; Löchner, B.
3
2003
CCE: Testing ground joinability. Zbl 0988.68587
Avenhaus, Jürgen; Löchner, Bernd
1
2001
General algorithms for permutations in equational inference. Zbl 0985.68026
Avenhaus, Jürgen; Plaisted, David A.
1
2001
Logicality of conditional rewrite systems. Zbl 0938.68050
Yamada, T.; Avenhaus, J.; Loría-Sáenz, C.; Middeldorp, A.
4
2000
A framework for operational equational specifications with pre-defined structures. Zbl 0928.68078
Avenhaus, Jürgen; Becker, Klaus
1
1999
Theorem proving in hierarchical clausal specifications. Zbl 0867.68096
Avenhaus, J.; Madlener, K.
2
1997
Reduction systems. (Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen.) Zbl 0827.68063
Avenhaus, Jürgen
3
1995
Term rewriting and equational reasoning. Zbl 0704.68061
Avenhaus, J.; Madlener, K.
7
1990
Groups presented by finite two-monadic Church-Rosser Thue systems. Zbl 0604.20034
Avenhaus, J.; Madlener, K.; Otto, F.
9
1986
On groups defined by monadic Thue systems. Zbl 0608.20045
Avenhaus, J.; Madlener, K.
8
1986
The Nielsen reduction and P-complete problems in free groups. Zbl 0555.20015
Avenhaus, J.; Madlener, K.
11
1984
On expressing commutativity by finite Church-Rosser presentations: A note on commutative monoids. Zbl 0542.20038
Avenhaus, Jürgen; Book, Ronald V.; Squier, Craig C.
9
1984
On the complexity of intersection and conjugacy problems in free groups. Zbl 0555.20016
Avenhaus, J.; Madlener, K.
5
1984
The Nielsen reduction as key problem to polynomial algorithms in free groups. Zbl 0548.68038
Avenhaus, J.; Madlener, K.
1
1982
How to compute generators for the intersection of subgroups in free groups. Zbl 0466.68036
Avenhaus, J.; Madlener, K.
5
1981
An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation. Zbl 0494.20020
Avenhaus, J.; Madlener, K.
1
1981
String matching and algorithmic problems in free groups. Zbl 0514.20026
Avenhaus, Juergen; Madlener, Klaus
11
1980
String matching and algorithmic problems in free groups. Zbl 0431.03031
Avenhaus, Jürgen; Madlener, Klaus
2
1980
Subrekursive Komplexität bei Gruppen. II: Der Einbettungssatz von Higman für entscheidbare Gruppen. Zbl 0371.02020
Avenhaus, Jürgen; Madlener, K.
7
1978
Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität. Zbl 0396.03040
Avenhaus, J.; Madlener, K.
5
1978
Subrekursive Komplexität bei Gruppen. I: Gruppen mit vorgeschriebener Komplexität. Zbl 0371.02019
Avenhaus, J.; Madlener, K.
11
1977
Komplexitätsuntersuchungen für Einrelatorgruppen. Zbl 0359.02044
Avenhaus, J.; Madlener, K.
1
1977
Komplexität bei Gruppen: Der Einbettungssatz von Higman. Zbl 0363.20030
Avenhaus, J.; Madlener, K.
1
1977
\(E_n-E_{n-1}\)-entscheidbare Gruppen. Zbl 0314.02055
Avenhaus, J.; Madlener, K.
1
1975
Zur numerischen Behandlung des Anfangswertproblems mit exakter Fehlererfassung. Zbl 0216.23403
Avenhaus, J.
2
1971
all top 5

Cited by 79 Authors

16 Otto, Friedrich
13 Madlener, Klaus E.
7 Avenhaus, Jürgen
3 Birget, Jean-Camille
3 Book, Ronald Vernon
3 Krivoj, S. L.
3 Meseguer Guaita, José
3 Narendran, Paliath
2 Kilgour, D. Marc
2 Lohrey, Markus
2 Piggott, Adam
2 Wrochna, Marcin
2 Zhang, Louxin
1 Aiguier, Marc
1 Araújo, João
1 Autebert, Jean-Michel
1 Avenhaus, Rudolf
1 Bauch, Hartmut
1 Bevers, Eddy
1 Boasson, Luc
1 Boy de la Tour, Thierry
1 Cartwright, Donald I.
1 Cohen, Daniel E.
1 Diekert, Volker
1 Dougherty, Daniel J.
1 Durán, Francisco
1 Durnev, Valeriĭ Georgievich
1 Echenim, Mnacho
1 Eisenberg, Andy
1 Elder, Murray J.
1 Forcheri, Paola
1 Garzon, Max H.
1 Gentilini, Paolo
1 Geser, Alfons
1 Glass, Thomas A.
1 Godlevsky, A. B.
1 Hillenbrand, Thomas
1 Hipel, Keith William
1 Kapitonova, Yu. V.
1 Katsura, Masashi
1 Kim, Dohan
1 Kinyon, Michael K.
1 Kirschmer, Markus
1 Kobayashi, Yuji
1 Konieczny, Janusz
1 Krön, Bernhard
1 Kuhn, Norbert
1 Kuhr, Tomas
1 Leedham-Green, Charles R.
1 Lewi, Johan
1 Liu, Haining
1 Longuet, Delphine
1 Lucas, Salvador
1 Luks, Eugene M.
1 Lynch, Christopher A.
1 Malheiro, António
1 Margolis, Stuart W.
1 McKenzie, Pierre
1 Meakin, John C.
1 Miyano, Satoru
1 Molfino, Maria Teresa
1 Remeslennikov, Vladimir Nikanorovich
1 Roman’kov, Vitaly Anatol’evich
1 Salehi, Saeed
1 Sénizergues, Géraud
1 Smallbone, Nicholas
1 Steinby, Magnus
1 Stewart, Iain A.
1 Stokkermans, Karel
1 Stratulat, Sorin
1 Stroetmann, Karl
1 Tretkoff, Carol
1 Vychodil, Vilém
1 Waack, Stephan
1 Weil, Pascal
1 Wirth, Claus-Peter
1 Wrathall, Celia
1 Zalcstein, Yechezkel
1 Zeger, Kenneth

Citations by Year