Oskar Fiuk
From MaRDI portal
Person:6160750
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 |
|---|---|---|
| On the complexity of Maslov's class \(\overline K\) | 2025-06-18 | Paper |
| Alternating quantifiers in uniform one-dimensional fragments with an excursion into three-variable logic Logical Methods in Computer Science | 2025-03-25 | Paper |
| An excursion to the border of decidability: between two- and three-variable logic | 2025-02-19 | Paper |
| Presburger Büchi tree automata with applications to logics with expressive counting Logic, Language, Information, and Computation | 2023-06-02 | Paper |
Research outcomes over time
This page was built for person: Oskar Fiuk
