Viorica Sofronie-Stokkermans
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Austria
- MGP identifier
- 19772
Dissertation: Fibered Structures and Applications to Automated Theorem Proving in Certain Classes of Finitely-Valued Logics and to Modeling Interacting Systems
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Jochen PfalzgrafUniversität des Saarlandes · 1984
- Günter Franz PilzUniversität Wien · 1967
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Carsten Ihlemann | Not recorded | — | 0 |
| Swen Jacobs | Not recorded | — | 0 |
| Dennis Peuter | Not recorded | — | 0 |