Systems of reductions

Authors:
Benjamin Benninghofen;Susanne Kemmerich;Michael M. Richter
Affiliations:
MBB, Ottobrunn, W. Germany;Technische Hochschule Aachen, Aachen, W. Germany;Univ. Kaiserslautern, Kaiserslautern, W. Germany
Venue:
Systems of reductions
Year:
1987

Citing 0
Cited 3

A note on Nielsen reduction and coset enumeration

ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
An upper bound on the derivational complexity of Knuth--Bendix orderings

Information and Computation - Special issue: ICC '99
Cited References

Computer algebra handbook

Quantified Score

Hi-index	0.00

Visualization

Abstract