Indranil R. Bardhan, Sugato Bagchi, et al.
JMIS
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
Xinyi Su, Guangyu He, et al.
Dianli Xitong Zidonghua/Automation of Electric Power Systems
Conference paper
Global routing revisited
Michael D. Moffitt
ICCAD 2009
Fan Jing Meng, Ying Huang, et al.
ICEBE 2007