Yuri Matiyasevich (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

12 Volker Diekert, Yuri Matiyasevich, Anca Muscholl: Solving Word Equations modulo Partial Commutations. Theor. Comput. Sci. 224(1-2): 215-235 (1999)

10 Volker Diekert, Yuri Matiyasevich, Anca Muscholl: Solving Trace Equations Using Lexicographical Normal Forms. ICALP 1997: 336-346

Selection of 2 from 31 records - Yuri Matiyasevich has 18 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

12		Volker Diekert, Yuri Matiyasevich, Anca Muscholl: Solving Word Equations modulo Partial Commutations. Theor. Comput. Sci. 224(1-2): 215-235 (1999)
10		Volker Diekert, Yuri Matiyasevich, Anca Muscholl: Solving Trace Equations Using Lexicographical Normal Forms. ICALP 1997: 336-346