Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="B{\"u}ndgen, Reinhard"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Strategy compliant multi-threaded term completion
Reinhard Bündgen
,
Manfred Göbel
,
Wolfgang Küchlein
Journal Symbolic Computation
21
(4), 1996, pp. 475-505
A master-slave approach to parallel term rewriting on a hierarchical multiprocessor
Reinhard Bündgen
,
Manfred Göbel
,
Wolfgang Küchlin
Lecture Notes in Computer Science
1128
, 1996, pp. 183-194
Buchberger's algorithm: The term rewriter's point of view
Reinhard Bündgen
Theoretical Computer Science
159
(2), 1996, pp. 143-190
Combining computer algebra and rule based reasoning
Reinhard Bündgen
Lecture Notes in Computer Science
958
, 1995, pp. 209-223
A fine-grained parallel completion procedure
Reinhard Bündgen
,
Manfred Göbel
,
Wolfgang Küchlin
Proceedings of the 1994 International Symposium on Symbolic and Algebraic Computation, ISSAC'94 (Oxford, England, United Kingdom, July 20-22, 1994)
, 1994, pp. 269-277
Multi-threaded AC term rewriting
Reinhard Bündgen
,
Manfred Göbel
,
Wolfgang Küchlin
Lecture Note Series in Computing
5
, 1994, pp. 84-93
Buchberger's algorithm: The term rewriter's point of view
Reinhard Bündgen
Lecture Notes in Computer Science
623
, 1992, pp. 380-391
Completion of integral polynomials by AC-term completion
Reinhard Bündgen
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC'91 (Bonn, Germany, July 15-17, 1991)
, 1991, pp. 70-78
Term completion versus algebraic completion
Reinhard Bündgen
misc, 1991, May