Marta Fiori-Carones

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 8

Top Topics

Type Fuzzy Logic Systems

Datalog Programs

Top Venues

Ann. Pure Appl. Log.

Bull. Symb. Log.

Publications

Nikolay Bazhenov, Marta Fiori-Carones, Lu Liu, Alexander G. Melnikov
Primitive recursive reverse mathematics. Ann. Pure Appl. Log. 175 (Issue 1, Part A) (2024)
Nikolay Bazhenov, Marta Fiori-Carones, Manat Mustafa
On Arithmetical Numberings in Reverse Mathematics. CiE (2024)
Marta Fiori-Carones, Alberto Marcone, Paul Shafer, Giovanni Soldà
(Extra)ordinary Equivalences with the ascending/descending sequence Principle. J. Symb. Log. 89 (1) (2024)
Marta Fiori-Carones, Alberto Marcone
Uniquely orderable interval graphs. Discret. Math. 345 (9) (2022)
Marta Fiori-Carones, Leszek Aleksander Kolodziejczyk, Katarzyna W. Kowalik
Weaker cousins of Ramsey's theorem over a weak base theory. Ann. Pure Appl. Log. 172 (10) (2021)
Marta Fiori-Carones, Alberto Marcone
To reorient is easier than to orient: An on-line algorithm for reorientation of graphs. Comput. 10 (3) (2021)
Marta Fiori-Carones
Filling cages. Reverse mathematics and combinatorial principles. Bull. Symb. Log. 26 (3-4) (2020)
Marta Fiori-Carones, Alberto Marcone
To reorient is easier than to orient: an on-line algorithm for reorientation of graphs. CoRR (2019)