Miikka Vilander
From MaRDI portal
Person:2104259
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 |
|---|---|---|
| Relating description complexity to entropy Journal of Computer and System Sciences | 2025-01-27 | Paper |
| Games for succinctness of regular expressions | 2024-12-06 | Paper |
| Relating description complexity to entropy | 2024-10-08 | Paper |
| Short Boolean formulas as explanations in practice | 2024-05-29 | Paper |
| A monotone connection between model class size and description length | 2023-01-31 | Paper |
| Defining long words succinctly in FO and MSO (available as arXiv preprint) | 2022-12-07 | Paper |
| Relating description complexity to entropy | 2022-09-26 | Paper |
| Defining long words succinctly in FO and MSO (available as arXiv preprint) | 2022-02-21 | Paper |
| Formula size games for modal logic and \(\mu\)-calculus Journal Of Logic And Computation | 2020-02-17 | Paper |
| On the succinctness of atoms of dependency (available as arXiv preprint) | 2019-09-13 | Paper |
| The Succinctness of First-order Logic over Modal Logic via a Formula Size Game (available as arXiv preprint) | 2018-04-23 | Paper |
Research outcomes over time
This page was built for person: Miikka Vilander
