RUS  ENG
Full version
PEOPLE
Studer Thomas
Professor
PhD


Website: https://home.inf.unibe.ch/~tstuder/

Subject:

Logic and theoretical computer science.


Publications in Math-Net.Ru

Personal pages:

Organisations:

© Steklov Math. Inst. of RAS, 2024