|
| | | | |
Window-Accumulated Subsequence Matching Problem is Linear
Note: Links lead to the DBLP on the Web.
Yuri Matiyasevich
6
Luc Boasson
,
Patrick Cegielski
,
Irène Guessarian
, Yuri Matiyasevich: Window-Accumulated Subsequence Matching Problem is Linear.
PODS 1999
: 327-336
5
Volker Diekert
, Yuri Matiyasevich,
Anca Muscholl
: Solving Word Equations modulo Partial Commutations.
TCS 224
(1-2): 215-235 (1999)
4
Volker Diekert
, Yuri Matiyasevich,
Anca Muscholl
: Solving Trace Equations Using Lexicographical Normal Forms.
ICALP 1997
: 336-346
3
Anatoli Degtyarev
, Yuri Matiyasevich,
Andrei Voronkov
: Simultaneous E-Unification and Related Algorithmic Problems.
LICS 1996
: 494-502
2
Yuri Matiyasevich,
Géraud Sénizergues
: Decision Problems for Semi-Thue Systems with a Few Rules.
LICS 1996
: 523-531
1
Yuri Matiyasevich: On Some Mathematical Logic Contributions to Rewriting Techniques: Lost Heritage (Abstract).
RTA 1995
: 1
Copyright(C) 2000 ACM | | | | | | |