Jrgen Avenhaus
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1986–2004
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | CADE | Efficient Algorithms for Computing Modulo Permutation Theories. | Jrgen Avenhaus |
| 2003 | CADE | How to Prove Inductive Theorems? QUODLIBET! | Jrgen Avenhaus, Ulrich Khler, Tobias Schmidt-Samoa, Claus-Peter Wirth |
| 2001 | CADE | CCE: Testing Ground Joinability. | Jrgen Avenhaus, Bernd Lchner |
| 2001 | PPAM | Combining Parallel and Distributed Search in Automated Equational Deduction. | Carsten Sinz, Jrg Denzinger, Jrgen Avenhaus, Wolfgang Kchlin |
| 1994 | LPAR | On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs. | Jrgen Avenhaus, Carlos Lora-Senz |
| 1994 | STACS | Operational Specifications with Built-Ins. | Jrgen Avenhaus, Klaus Becker |
| 1989 | ISSAC | Using Rewriting Techniques to Solve the Generalized Word Problem in Polycyclic Groups. | Jrgen Avenhaus, Dieter Wissmann |
| 1986 | CADE | TRSPEC: A Term Rewriting Based System for Algebraic Specifications. | Jrgen Avenhaus, Benjamin Benninghofen, Rdiger Gbel, Klaus Madlener |