Miikka Vilander

From MaRDI portal
Person:2104259

Available identifiers

zbMath Open vilander.miikka-sMaRDI QIDQ2104259

List of research outcomes





PublicationDate of PublicationType
Relating description complexity to entropy2025-01-27Paper
Games for succinctness of regular expressions2024-12-06Paper
Relating description complexity to entropy2024-10-08Paper
Short Boolean formulas as explanations in practice2024-05-29Paper
A monotone connection between model class size and description length2023-01-31Paper
Defining long words succinctly in FO and MSO2022-12-07Paper
Relating description complexity to entropy2022-09-26Paper
Defining long words succinctly in FO and MSO2022-02-21Paper
Formula size games for modal logic and μ-calculus2020-02-17Paper
https://portal.mardi4nfdi.de/entity/Q52328992019-09-13Paper
The Succinctness of First-order Logic over Modal Logic via a Formula Size Game2018-04-23Paper

Research outcomes over time

This page was built for person: Miikka Vilander

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2104259&oldid=6662338"
Powered by MediaWiki