External Links

Cite Key

Statistics

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

PDF

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.

Solving Trace Equations Using Lexicographical Normal Forms

Volker Diekert, Yuri Matiyasevich, Anca Muscholl. Solving Trace Equations Using Lexicographical Normal Forms. In Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela, editors, Automata, Languages and Programming, 24th International Colloquium, ICALP 97, Bologna, Italy, 7-11 July 1997, Proceedings. Volume 1256 of Lecture Notes in Computer Science, pages 336-346, Springer, 1997.

Authors

Volker Diekert

This author has not been identified. Look up 'Volker Diekert' in Google

Yuri Matiyasevich

This author has not been identified. Look up 'Yuri Matiyasevich' in Google

Anca Muscholl

This author has not been identified. Look up 'Anca Muscholl' in Google
runs on