`Travelled to:`

1 × Germany

1 × Italy

1 × United Kingdom

2 × USA

`Collaborated with:`

∅ G.Sénizergues V.Diekert A.Muscholl A.Degtyarev A.Voronkov L.Boasson P.Cégielski I.Guessarian

`Talks about:`

problem (3) techniqu (2) mathemat (2) lexicograph (1) contribut (1) algorithm (1) simultan (1) success (1) subsequ (1) heritag (1)

## Person: Yuri Matiyasevich

### DBLP: Matiyasevich:Yuri

### Contributed to:

### Wrote 6 papers:

- IJCAR-2012-Matiyasevich #automation #reasoning
- Enlarging the Scope of Applicability of Successful Techniques for Automated Reasoning in Mathematics (YM), p. 9.
- PODS-1999-BoassonCGM #linear #problem #sequence
- Window-Accumulated Subsequence Matching Problem is Linear (LB, PC, IG, YM), pp. 327–336.
- ICALP-1997-DiekertMM #equation #normalisation #using
- Solving Trace Equations Using Lexicographical Normal Forms (VD, YM, AM), pp. 336–346.
- LICS-1996-DegtyarevMV #algorithm #problem
- Simultaneous E-Unification and Related Algorithmic Problems (AD, YM, AV), pp. 494–502.
- LICS-1996-MatiyasevichS #problem
- Decision Problems for Semi-Thue Systems with a Few Rules (YM, GS), pp. 523–531.
- RTA-1995-Matiyasevich #logic #on the
- On Some Mathematical Logic Contributions to Rewriting Techniques: Lost Heritage (YM), p. 1.