Maciel Zortea, Miguel Paredes, et al.
IGARSS 2021
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
Paper
The Qx-coder
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev
Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design