The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Reinhard Bündgen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.011secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002