dblp.uni-trier.dewww.uni-trier.de

Jürgen Avenhaus Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2004
36EEJürgen Avenhaus: Efficient Algorithms for Computing Modulo Permutation Theories. IJCAR 2004: 415-429
2003
35EEJürgen Avenhaus, Ulrich Kühler, Tobias Schmidt-Samoa, Claus-Peter Wirth: How to Prove Inductive Theorems? QUODLIBET! CADE 2003: 328-333
34EEJü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
33EEJürgen Avenhaus, Bernd Löchner: CCE: Testing Ground Joinability. IJCAR 2001: 658-662
32EECarsten 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
30EEToshiyuki 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
28EEJü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
26EEToshiyuki 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
24EEJü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
22EEJürgen Avenhaus, Carlos Loría-Sáenz: On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs. LPAR 1994: 215-229
21EEJürgen Avenhaus, Klaus Becker: Operational Specifications with Built-Ins. STACS 1994: 263-274
1993
20EEJürgen Avenhaus, Jörg Denzinger: Distributing Equational Theorem Proving. RTA 1993: 62-76
1991
19EEJürgen Avenhaus: Proving Equational and Inductive Theorems by Completion and Embedding Techniques. RTA 1991: 361-373
1989
18EEJürgen Avenhaus, Dieter Wissmann: Using Rewriting Techniques to Solve the Generalized Word Problem in Polycyclic Groups. ISSAC 1989: 322-337
17EEJürgen Avenhaus, Jörg Denzinger, Jürgen Müller: THEOPOGLES - An efficient Theorem Prover based on Rewrite-Techniques. RTA 1989: 538-541
16EEJü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
14EEJü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
6EEJürgen Avenhaus, Klaus Madlener: How to Compute Generators for the Intersection of Subgroups in Free Groups. CAAP 1981: 88-100
5EEJü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

Coauthor Index

1Klaus Becker [21] [29]
2Benjamin Benninghofen [14]
3Ronald V. Book [10]
4Jörg Denzinger [17] [20] [24] [32]
5Matthias Fuchs [24]
6Richard Göbel [15]
7Rüdiger Göbel [14]
8Reinhard Gotzhein [28]
9Bernhard Gramlich [15]
10Theo Härder [28]
11Norbert Heck [11] [12]
12Thomas Hillenbrand [34]
13Wolfgang Küchlin [32]
14Ulrich Kühler [35]
15Lothar Litz [28]
16Bernd Löchner [33] [34]
17Carlos Loría-Sáenz [22] [23] [26] [30]
18Klaus Madlener [1] [2] [3] [4] [5] [6] [7] [8] [9] [14] [15] [16] [25] [27] [28]
19Aart Middeldorp [26] [30]
20Jürgen Müller [17]
21Jürgen Nehmer [28]
22David A. Plaisted [31]
23Michael M. Richter [28]
24Norbert Ritter [28]
25H. Dieter Rombach [28]
26Tobias Schmidt-Samoa [35]
27Bernd Schürmann [28]
28Carsten Sinz [32]
29Craig C. Squier [10]
30Joachim Steinbach [15] [16]
31Claus-Peter Wirth [35]
32Dieter Wissmann [18]
33Toshiyuki Yamada [26] [30]
34Gerhard Zimmermann [28]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)