List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| First-order definability of transition structures Journal of Logic, Language and Information | 2019-08-30 | Paper |
| Transition semantics for branching time Journal of Logic, Language and Information | 2016-07-04 | Paper |
| Bolzano's concept of grounding (\textit{Abfolge}) against the background of normal proofs The Review of Symbolic Logic | 2014-03-06 | Paper |
Research outcomes over time
This page was built for person: Antje Rumberg
