Tinko Tinchev
Original record- Institution
- Sofia University "St. Kliment Ohridski"
- Year
- 1986
- Country
- Bulgaria
- MGP identifier
- 88564
Dissertation: Extensions of the Propositional Dynamic Logic
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Dimiter VakarelovUniwersytet Warszawski · 1977
- Dimiter SkordevSofia University "St. Kliment Ohridski" · 1967
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Dimiter Todorov Georgiev | Sofia University "St. Kliment Ohridski" | 2017 | 0 |