Thomas M. Cover
IEEE Trans. Inf. Theory
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
Nanda Kambhatla
ACL 2004
Conference paper
Global routing revisited
Michael D. Moffitt
ICCAD 2009
Conference paper
Modeling polarization for Hyper-NA lithography tools and masks
Kafai Lai, Alan E. Rosenbluth, et al.
SPIE Advanced Lithography 2007