P. Ursino
发表
S. Cacciatori,
P. Ursino,
2022
.
K. P. Hart,
A. Dow,
J. Mill,
2001,
math/0112136.
P. Ursino,
2019,
1902.10511.
D. Cantone,
P. Ursino,
2021,
2106.01224.
K. P. Hart,
A. Dow,
J. Mill,
2001,
math/0112136.
K. P. Hart,
A. Dow,
J. Mill,
2001,
math/0112136.
V. Pata,
P. Ursino,
1998
.
S. Cacciatori,
P. Ursino,
2023,
2308.00080.
S. Cacciatori,
P. Ursino,
2018,
European Journal of Mathematics.
Domenico Cantone,
Pietro Ursino,
Domenico Cantone,
2018,
Springer International Publishing.
Domenico Cantone,
Eugenio G. Omodeo,
Jacob T. Schwartz,
2003,
Verification: Theory and Practice.