Alessio Mansutti

Available identifiers

zbMath Open mansutti.alessioMaRDI QIDQ1653009

List of research outcomes

Publication	Date of Publication	Type
Geometric decision procedures and the VC dimension of linear arithmetic theories	2024-12-06	Paper
On polynomial-time decidability of \(k\)-negations fragments of FO theories (extended abstract)	2024-12-03	Paper
Integer programming with GCD constraints	2024-11-28	Paper
The complexity of Presburger arithmetic with power or powers	2024-11-14	Paper
Succinctness of cosafety fragments of LTL via combinatorial proof systems	2024-10-30	Paper
Higher-order quantified Boolean satisfiability	2024-08-06	Paper
Quantifier elimination for counting extensions of Presburger arithmetic	2024-01-23	Paper
Modal logics and local quantifiers: a zoo in the elementary hierarchy	2024-01-23	Paper
Integer Programming with GCD Constraints	2023-08-25	Paper
On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes	2023-08-08	Paper
On Composing Finite Forests with Modal Logics	2023-04-05	Paper
Internal Calculi for Separation Logic	2023-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q5090983	2022-07-21	Paper
An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning	2022-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q5155678	2021-10-08	Paper
Internal proof calculi for modal logics with separating conjunction	2021-09-22	Paper
Modal Logics with Composition on Finite Forests	2021-01-21	Paper
An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning	2020-09-23	Paper
Axiomatising logics with separating conjunction and modalities	2020-02-18	Paper
The effects of adding reachability predicates in propositional separation logic	2018-07-17	Paper

Research outcomes over time

This page was built for person: Alessio Mansutti