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:
2012
1999
1997
1996
1995Wrote 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.