Conference paper
Performance measurement and data base design
Alfonso P. Cardenas, Larry F. Bowman, et al.
ACM Annual Conference 1975
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
Conference paper
A quantitative analysis of OS noise
Alessandro Morari, Roberto Gioiosa, et al.
IPDPS 2011
Conference paper
An Arabic Slot Grammar parser
Michael C. McCord, Violetta Cavalli-Sforza
ACL 2007
David A. Selby
IBM J. Res. Dev