Search the dblp DataBase

Publications of Author

1. Reinhard Bündgen
   Combining Computer Algebra and Rule Based Reasoning. [Citation Graph (0, 0)][DBLP]
   AISMC, 1994, pp:209-223 [Conf]
   
2. Reinhard Bündgen
   Proof Transformation for Non-Compatible Rewriting. [Citation Graph (0, 0)][DBLP]
   AISMC, 1996, pp:160-175 [Conf]
   
3. Reinhard Bündgen
   Applying Term Rewriting Methods to Finite Groups. [Citation Graph (0, 0)][DBLP]
   ALP, 1990, pp:332-346 [Conf]
   
4. Reinhard Bündgen, Hasko Eckhardt
   A Fast Algorithm for Ground Normal Form Analysis. [Citation Graph (0, 0)][DBLP]
   ALP, 1992, pp:291-305 [Conf]
   
5. Reinhard Bündgen, Werner Lauterbach
   Combining Reductions and Computations in ReDuX. [Citation Graph (0, 0)][DBLP]
   AMAST, 1996, pp:633-636 [Conf]
   
6. Reinhard Bündgen
   On Pot, Pans and Pudding or How to Discover Generalised Critical Pairs. [Citation Graph (0, 0)][DBLP]
   CADE, 1994, pp:693-707 [Conf]
   
7. Reinhard Bündgen, Werner Lauterbach
   Experiments with Partial Evaluation Domains for Rewrite Specifications. [Citation Graph (0, 0)][DBLP]
   COMPASS/ADT, 1995, pp:125-142 [Conf]
   
8. Reinhard Bündgen
   Preserving Confluence for Rewrite Systems with Built-in Operations. [Citation Graph (0, 0)][DBLP]
   CTRS, 1994, pp:71-88 [Conf]
   
9. Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
   A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor. [Citation Graph (0, 0)][DBLP]
   DISCO, 1996, pp:183-194 [Conf]
   
10. Reinhard Bündgen, Wolfgang Küchlin, Werner Lauterbach
    Verification of the Sparrow Processor. [Citation Graph (0, 0)][DBLP]
    ECBS, 1996, pp:86-0 [Conf]
    
11. Reinhard Bündgen
    Buchberger's Algorithm: The Term Rewriter's Point of View (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:380-391 [Conf]
    
12. Reinhard Bündgen
    Completion of Integral Polynomials by AC-Term Completion. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1991, pp:70-78 [Conf]
    
13. Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
    A Fine-Grained Parallel Completion Procedure. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1994, pp:269-277 [Conf]
    
14. Wolfgang Blochinger, Reinhard Bündgen, Andreas Heinemann
    Dependable High Performance Computing on a Parallel Sysplex Cluster. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
    
15. Reinhard Bündgen
    Simulation Buchberger's Algorithm by Knuth-Bendix Completion. [Citation Graph (0, 0)][DBLP]
    RTA, 1991, pp:386-397 [Conf]
    
16. Reinhard Bündgen
    Reduce the Redex -> ReDuX. [Citation Graph (0, 0)][DBLP]
    RTA, 1993, pp:446-450 [Conf]
    
17. Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
    Parallel ReDuX -> PaReDuX. [Citation Graph (0, 0)][DBLP]
    RTA, 1995, pp:408-413 [Conf]
    
18. Reinhard Bündgen, Wolfgang Küchlin
    Computing Ground Reducability and Inductively Complete Positions. [Citation Graph (0, 0)][DBLP]
    RTA, 1989, pp:59-75 [Conf]
    
19. Reinhard Bündgen, Carsten Sinz, Jochen Walter
    ReDuX 1.5: New Facets of Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 1996, pp:412-415 [Conf]
    
20. Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
    Strategy Compliant Multi-Threaded Term Completion. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:475-505 [Journal]
    
21. Reinhard Bündgen, Alfons Geser
    Formale Hardware-Verifikation mit Termersetzung. [Citation Graph (0, 0)][DBLP]
    KI, 1998, v:12, n:4, pp:19-24 [Journal]
    
22. Reinhard Bündgen
    Buchberger's Algorithm: The Term Rewriter's Point of View. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:159, n:2, pp:143-190 [Journal]