Risultati della ricerca - Sadykov, Rustam

On the Mather stability theorem for smooth maps di Sadykov, Rustam

Testo

A homotopy invariant of stable maps to oriented surfaces di Kahmeyer, Liam, Sadykov, Rustam

Testo

Manturov Projection for Virtual Legendrian Knots in $ST^*F$ di Chernov, Vladimir, Sadykov, Rustam

Testo

Cache-a-lot: Pushing the Limits of Unsatisfiable Core Reuse in SMT-Based Program Analysis di Sadykov, Rustam, Abdullin, Azat, Akhin, Marat

Testo