Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | Russian Federation |
|---|---|
| City | Novosibirsk |
| Institution | Russian Academy of Sciences |
| Institute | A.P. Ershov Institute of Informatics Systems, Laboratory of theoretical programming |
Profile
| Research fields | Theoretical Computer Science,Fundamentals of Mathematics, Logics, Set Theory |
|---|---|
| Keywords | Entscheidbarkeit, Komplexität, Mathematische Logik, Automaten, Sprachen |