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