Daniel M. Bikel, Vittorio Castelli
ACL 2008
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
S.M. Sadjadi, S. Chen, et al.
TAPIA 2009
Conference paper
A quantitative analysis of OS noise
Alessandro Morari, Roberto Gioiosa, et al.
IPDPS 2011
Bowen Zhou, Bing Xiang, et al.
SSST 2008