Liat Ein-Dor, Y. Goldschmidt, et al.
IBM J. Res. Dev
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
Ziyang Liu, Sivaramakrishnan Natarajan, et al.
VLDB
Yao Qi, Raja Das, et al.
ISSTA 2009
Conference paper
Compression for data archiving and backup revisited
Corneliu Constantinescu
SPIE Optical Engineering + Applications 2009