Oliveira Mateus de Oliveira

From MaRDI portal
Person:5009488



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!

PublicationDate of PublicationType
On the complexity of intersection non-emptiness for star-free language classes
(available as arXiv preprint)
2024-02-05Paper
Connecting constructive notions of ordinals in homotopy type theory2023-08-08Paper
Order Reconfiguration Under Width Constraints.2023-08-08Paper
scientific article; zbMATH DE number 7700587 (Why is no real title available?)2023-06-23Paper
scientific article; zbMATH DE number 7559421 (Why is no real title available?)
(available as arXiv preprint)
2022-07-18Paper
A strongly-uniform slicewise polynomial-time algorithm for the embedded planar diameter improvement problem2021-08-04Paper


Research outcomes over time


This page was built for person: Oliveira Mateus de Oliveira