Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
Tec, Loredana and Regensburger, Georg and Rosenkranz, Markus and Buchberger, Bruno
An automated confluence proof for an infinite rewrite system parametrized over an integro-differential algebra.
In: Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Takayama, Nobuki, eds.
Proceedings of the Third international congress conference on Mathematical software.
Lecture Notes in Computer Science, 6327
Springer, Berlin, pp. 245-248.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)