Victor Valls, Panagiotis Promponas, et al.
IEEE Communications Magazine
We give an elementary proof of the completeness of the Segerberg axions for Propositional Dynamic Logic. © 1981.
Victor Valls, Panagiotis Promponas, et al.
IEEE Communications Magazine
Matthias Kaiserswerth
IEEE/ACM Transactions on Networking
Renu Tewari, Richard P. King, et al.
IS&T/SPIE Electronic Imaging 1996
Maciel Zortea, Miguel Paredes, et al.
IGARSS 2021