2004 |
36 | EE | Jürgen Avenhaus:
Efficient Algorithms for Computing Modulo Permutation Theories.
IJCAR 2004: 415-429 |
2003 |
35 | EE | Jürgen Avenhaus,
Ulrich Kühler,
Tobias Schmidt-Samoa,
Claus-Peter Wirth:
How to Prove Inductive Theorems? QUODLIBET!
CADE 2003: 328-333 |
34 | EE | 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 | EE | Jürgen Avenhaus,
Bernd Löchner:
CCE: Testing Ground Joinability.
IJCAR 2001: 658-662 |
32 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |