| Persons |
|
|
|
|
|
Studer, Thomas |
||
| Professor | ||
| PhD | ||
| Website: | https://home.inf.unibe.ch/~tstuder/ | |
|
Logic and theoretical computer science. |
||
 |
https://www.mathnet.ru/eng/person207820 | |
 |
List of publications on Google Scholar | |
| Organisations | ||