Sabine Frittella
发表
Alessandra Palmigiano,
Giuseppe Greco,
Alexander Kurz,
2016,
J. Log. Comput..
Alessandra Palmigiano,
Giuseppe Greco,
Alexander Kurz,
2016,
ArXiv.
Willem Conradie,
Alessandra Palmigiano,
Sabine Frittella,
2019,
ACM Trans. Comput. Log..
Willem Conradie,
Alessandra Palmigiano,
Krishna Manoorkar,
2019,
Inf. Sci..
Alessandra Palmigiano,
Giuseppe Greco,
Alexander Kurz,
2016,
J. Log. Comput..
Fan Yang,
Alessandra Palmigiano,
Giuseppe Greco,
2016,
ArXiv.
Willem Conradie,
Alessandra Palmigiano,
Sabine Frittella,
2015,
LORI.
Willem Conradie,
Alessandra Palmigiano,
Sabine Frittella,
2016,
WoLLIC.
Alessandra Palmigiano,
Sabine Frittella,
Luigi Santocanale,
2014,
J. Log. Comput..
Alessandra Palmigiano,
Giuseppe Greco,
Alexander Kurz,
2016,
J. Log. Comput..
Alessandra Palmigiano,
Krishna Manoorkar,
Sabine Frittella,
2019,
Int. J. Approx. Reason..
Willem Conradie,
Alessandra Palmigiano,
Sabine Frittella,
2017,
TARK.
Alessandra Palmigiano,
Giuseppe Greco,
Alexander Kurz,
2018,
ITP.
Sabine Frittella,
Ondrej Majer,
Sajad Nazari,
2020,
DaLí.
Sabine Frittella,
Luigi Santocanale,
2014,
RAMICS.
Sabine Frittella,
Ondrej Majer,
Sajad Nazari,
2020,
ArXiv.
Sabine Frittella,
Hans van Ditmarsch,
Zeinab Bakhtiari,
2016,
Advances in Modal Logic.
Fan Yang,
Alessandra Palmigiano,
Giuseppe Greco,
2016,
WoLLIC.
Sabine Frittella,
Daniil Kozhemiachenko,
Marta B'ilkov'a,
2021,
TABLEAUX.
Sabine Frittella,
S. Frittella,
2014
.
Alessandra Palmigiano,
Alexander Kurz,
Sabine Frittella,
2016
.
Willem Conradie,
Alessandra Palmigiano,
Sabine Frittella,
2016,
WoLLIC.