Old Web
English
Sign In
Acemap
>
authorDetail
>
Mattia Panettiere
Mattia Panettiere
Mathematics
Discrete mathematics
Set theory
Undecidable problem
Pure mathematics
4
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Unified inverse correspondence for DLE-Logics.
2022
CoRR
Willem Conradie
Andrea De Domenico
Giuseppe Greco
Alessandra Palmigiano
Mattia Panettiere
Apostolos Tzimoulis
Show All
Source
Cite
Save
Citations (0)
Very Weak, Essentially Undecidabile Set Theories.
2021
Domenico Cantone
Eugenio G. Omodeo
Mattia Panettiere
Show All
Source
Cite
Save
Citations (0)
From Hilbert's 10th Problem to slim, Undecidable Fragments of Set Theory.
2020
ICTCS | Italian Conference on Theoretical Computer Science
Domenico Cantone
Eugenio G. Omodeo
Mattia Panettiere
Show All
Source
Cite
Save
Citations (0)
1