External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra

Loredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger. An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. In Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama, editors, Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings. Volume 6327 of Lecture Notes in Computer Science, pages 245-248, Springer, 2010. [doi]

Authors

Loredana Tec

This author has not been identified. Look up 'Loredana Tec' in Google

Georg Regensburger

This author has not been identified. Look up 'Georg Regensburger' in Google

Markus Rosenkranz

This author has not been identified. Look up 'Markus Rosenkranz' in Google

Bruno Buchberger

This author has not been identified. Look up 'Bruno Buchberger' in Google
runs on