A complete proof system for timed observations
Yolanda Ortega-Mallén
◽
David Frutos-Escrig
Clemens Grabmayer
◽
Wan Fokkink
1986 ◽
Vol 9
(4)
◽
pp. 401-419
Zhao Jin
◽
Bowen Zhang
◽
Lei Zhang
◽
Yongzhi Cao
◽
Hanpin Wang
Naïma Brown
◽
Abdelillah Mokkedem
F. Cuartero Gómez
◽
D. de Frutos Escrig
◽
V. Valero Ruiz
2020 ◽
Vol 838
◽
pp. 25-44
Liang Zhao
◽
Xiaobing Wang
◽
Xinfeng Shu
◽
Nan Zhang
2004 ◽
Vol 14
(2)
◽
pp. 215-249
◽