 | 2004 |
|---|
| 36 |       | Jürgen Avenhaus:
Efficient Algorithms for Computing Modulo Permutation Theories.
IJCAR 2004: 415-429 |
| 2003 |
|---|
| 35 | | Jürgen Avenhaus,
Ulrich Kühler,
Tobias Schmidt-Samoa,
Claus-Peter Wirth:
How to Prove Inductive Theorems? QUODLIBET!
CADE 2003: 328-333 |
| 34 | | Jürgen Avenhaus,
Thomas Hillenbrand,
Bernd Löchner:
On using ground joinable equations in equational theorem proving.
J. Symb. Comput. 36(1-2): 217-233 (2003) |
| 2001 |
|---|
| 33 | | Jürgen Avenhaus,
Bernd Löchner:
CCE: Testing Ground Joinability.
IJCAR 2001: 658-662 |
| 32 | | Carsten Sinz,
Jörg Denzinger,
Jürgen Avenhaus,
Wolfgang Küchlin:
Combining Parallel and Distributed Search in Automated Equational Deduction.
PPAM 2001: 819-832 |
| 31 |  | Jürgen Avenhaus,
David A. Plaisted:
General Algorithms for Permutations in Equational Inference.
J. Autom. Reasoning 26(3): 223-268 (2001) |
| 2000 |
|---|
| 30 | | Toshiyuki Yamada,
Jürgen Avenhaus,
Carlos Loría-Sáenz,
Aart Middeldorp:
Logicality of conditional rewrite systems.
Theor. Comput. Sci. 236(1-2): 209-232 (2000) |
| 1999 |
|---|
| 29 | | Jürgen Avenhaus,
Klaus Becker:
A Framework for Operational Equational Specifications with Pre-defined Structures.
J. Symb. Comput. 27(3): 271-310 (1999) |
| 1998 |
|---|
| 28 | | Jürgen Avenhaus,
Reinhard Gotzhein,
Theo Härder,
Lothar Litz,
Klaus Madlener,
Jürgen Nehmer,
Michael M. Richter,
Norbert Ritter,
H. Dieter Rombach,
Bernd Schürmann,
Gerhard Zimmermann:
Entwicklung großer Systeme mit generischen Methoden - Eine Übersicht über den Sonderforschungsbereich 501.
Inform., Forsch. Entwickl. 13(4): 227-234 (1998) |
| 1997 |
|---|
| 27 | | Jürgen Avenhaus,
Klaus Madlener:
Theorem Proving in Hierarchical Causal Specifications.
Advances in Algorithms, Languages, and Complexity 1997: 1-51 |
| 26 | | Toshiyuki Yamada,
Jürgen Avenhaus,
Carlos Loría-Sáenz,
Aart Middeldorp:
Logicality of Conditional Rewrite Systems.
TAPSOFT 1997: 141-152 |
| 1996 |
|---|
| 25 | | Jürgen Avenhaus,
Klaus Madlener:
Theorembeweisen in hierarchischen bedingten Spezifikationen.
Inform., Forsch. Entwickl. 11(2): 53-60 (1996) |
| 1995 |
|---|
| 24 | | Jürgen Avenhaus,
Jörg Denzinger,
Matthias Fuchs:
DISCOUNT: A SYstem for Distributed Equational Deduction.
RTA 1995: 397-402 |
| 1994 |
|---|
| 23 | | Jürgen Avenhaus,
Carlos Loría-Sáenz:
Higher Order Conditional Rewriting and Narrowing.
CCL 1994: 269-284 |
| 22 | | Jürgen Avenhaus,
Carlos Loría-Sáenz:
On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs.
LPAR 1994: 215-229 |
| 21 | | Jürgen Avenhaus,
Klaus Becker:
Operational Specifications with Built-Ins.
STACS 1994: 263-274 |
| 1993 |
|---|
| 20 | | Jürgen Avenhaus,
Jörg Denzinger:
Distributing Equational Theorem Proving.
RTA 1993: 62-76 |
| 1991 |
|---|
| 19 | | Jürgen Avenhaus:
Proving Equational and Inductive Theorems by Completion and Embedding Techniques.
RTA 1991: 361-373 |
| 1989 |
|---|
| 18 | | Jürgen Avenhaus,
Dieter Wissmann:
Using Rewriting Techniques to Solve the Generalized Word Problem in Polycyclic Groups.
ISSAC 1989: 322-337 |
| 17 | | Jürgen Avenhaus,
Jörg Denzinger,
Jürgen Müller:
THEOPOGLES - An efficient Theorem Prover based on Rewrite-Techniques.
RTA 1989: 538-541 |
| 16 | | Jürgen Avenhaus,
Klaus Madlener,
Joachim Steinbach:
COMTES - An Experimental Environment for the Completion of Term Rewriting Systems.
RTA 1989: 542-546 |
| 1987 |
|---|
| 15 | | Jürgen Avenhaus,
Richard Göbel,
Bernhard Gramlich,
Klaus Madlener,
Joachim Steinbach:
TRSPEC: A Term Rewriting Based System for Algebraic Specifications.
CTRS 1987: 245-248 |
| 1986 |
|---|
| 14 | | Jürgen Avenhaus,
Benjamin Benninghofen,
Rüdiger Göbel,
Klaus Madlener:
TRSPEC: A Term Rewriting Based System for Algebraic Specifications.
CADE 1986: 665-667 |
| 13 | | Jürgen Avenhaus:
On the Descriptive Power of Term Rewriting Systems.
J. Symb. Comput. 2(2): 109-122 (1986) |
| 1985 |
|---|
| 12 | | Norbert Heck,
Jürgen Avenhaus:
On Logic Programs with Data-Driven Computations.
European Conference on Computer Algebra (2) 1985: 433-443 |
| 1984 |
|---|
| 11 | | Norbert Heck,
Jürgen Avenhaus:
Automatic Implementation of Abstract Data Types Specified by the Logic Programming Language.
FGCS 1984: 210-219 |
| 10 | | Jürgen Avenhaus,
Ronald V. Book,
Craig C. Squier:
On Expressing Commutativity by Finite Church-Rosser Presentations: A Note on Commutative Monoids.
ITA 18(1): 47-52 (1984) |
| 9 | | Jürgen Avenhaus,
Klaus Madlener:
On the Complexity of Intersection and Conjugacy Problems in Free Groups.
Theor. Comput. Sci. 32: 279-295 (1984) |
| 8 | | Jürgen Avenhaus,
Klaus Madlener:
The Nielsen Reduction and P-Complete Problems in Free Groups.
Theor. Comput. Sci. 32: 61-76 (1984) |
| 1982 |
|---|
| 7 | | Jürgen Avenhaus,
Klaus Madlener:
The Nielsen Reduction as Key Problem to Polynomial Algorithms in Free Groups.
EUROCAM 1982: 49-56 |
| 1981 |
|---|
| 6 | | Jürgen Avenhaus,
Klaus Madlener:
How to Compute Generators for the Intersection of Subgroups in Free Groups.
CAAP 1981: 88-100 |
| 5 | | Jürgen Avenhaus,
Klaus Madlener:
P-Complete Problems in Free Groups.
Theoretical Computer Science 1981: 42-51 |
| 4 | | Jürgen Avenhaus,
Klaus Madlener:
An Algorithm for the Word Problem in HNN Extensions and the Dependence of Its Complexity on the Group Representation.
ITA 15(4): 335-371 (1981) |
| 1978 |
|---|
| 3 | | Jürgen Avenhaus,
Klaus Madlener:
Subrekursive Komplexität bei Gruppen: II. Der Einbettungssatz von Higman für entscheidbare Gruppen.
Acta Inf. 9: 183-193 (1978) |
| 1977 |
|---|
| 2 | | Jürgen Avenhaus,
Klaus Madlener:
Subrekursive Komplexität bei Gruppen: I. Gruppen mit vorgeschriebener Komplexität.
Acta Inf. 9: 87-104 (1977) |
| 1975 |
|---|
| 1 | | Jürgen Avenhaus,
Klaus Madlener:
En\En-1-entscheidbare Gruppen.
Automata Theory and Formal Languages 1975: 42-51 |
