Reinhard Bündgen

Andreas Heinemann

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

1998

Formale Hardware-Verifikation mit Termersetzung.

[BibT_eX]

Alfons Geser

Künstliche Intell., 1998

Termersetzungssysteme - Theorie, Implementierung, Anwendung.

[BibT_eX]

Vieweg, ISBN: 978-3-528-05652-0, 1998

1996

Buchberger's Algorithm: The Term Rewriter's Point of View.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

Strategy Compliant Multi-Threaded Term Completion.

[BibT_eX]

[DOI]

J. Symb. Comput., 1996

ReDuX 1.5: New Facets of Rewriting.

[BibT_eX]

[DOI]

Carsten Sinz

Jochen Walter

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

Verification of the Sparrow Processor.

[BibT_eX]

[DOI]

Werner Lauterbach

Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor.

[BibT_eX]

[DOI]

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

Combining Reductions and Computations in ReDuX.

[BibT_eX]

[DOI]

Werner Lauterbach

Proceedings of the Algebraic Methodology and Software Technology, 1996

Proof Transformation for Non-Compatible Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

1995

Parallel ReDuX -> PaReDuX.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

Experiments with Partial Evaluation Domains for Rewrite Specifications.

[BibT_eX]

[DOI]

Werner Lauterbach

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

Multi-Threaded AC Term Rewriting.

[BibT_eX]

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

A Fine-Grained Parallel Completion Procedure.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994

Preserving Confluence for Rewrite Systems with Built-in Operations.

[BibT_eX]

[DOI]

Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

On Pot, Pans and Pudding or How to Discover Generalised Critical Pairs.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Combining Computer Algebra and Rule Based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994

1993

Reduce the Redex -> ReDuX.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

1992

Buchberger's Algorithm: The Term Rewriter's Point of View (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

A Fast Algorithm for Ground Normal Form Analysis.

[BibT_eX]

[DOI]

Hasko Eckhardt

Proceedings of the Algebraic and Logic Programming, 1992

1991

Term completion versus algebraic completion.

[BibT_eX]

[DOI]

PhD thesis, 1991

Simulation Buchberger's Algorithm by Knuth-Bendix Completion.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

Completion of Integral Polynomials by AC-Term Completion.

[BibT_eX]

[DOI]

Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991

1990

Applying Term Rewriting Methods to Finite Groups.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 1990

1989

Computing Ground Reducability and Inductively Complete Positions.

[BibT_eX]

[DOI]