Travelled to:1 × France
1 × Italy
Collaborated with:N.Rampersad M.Rigo D.Goc S.Kitaev C.Severs H.Úlfarsson
Talks about:abelian (2) number (2) border (2) word (2) represent (1) theorem (1) automat (1) exampl (1) prove (1) graph (1)
Person: Pavel Salimov
DBLP: Salimov:Pavel
Contributed to:
201320142011Wrote 3 papers:
- DLT-2013-RampersadRS #on the #word
- On the Number of Abelian Bordered Words (NR, MR, PS), pp. 420–432.
- DLT-J-2013-GocRRS14 #automation #on the #word
- On the number of Abelian Bordered Words (with an Example of Automatic Theorem-Proving) (DG, NR, MR, PS), pp. 1097–1110.
- DLT-2011-KitaevSSU #graph #on the
- On the Representability of Line Graphs (SK, PS, CS, HÚ), pp. 478–479.