Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design
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
Indranil R. Bardhan, Sugato Bagchi, et al.
JMIS
Conference paper
True 3-D displays for avionics and mission crewstations
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997
Lixi Zhou, Jiaqing Chen, et al.
VLDB