1951
7 works on record
Logics of Programs
Dynamic Logic (Foundations of Computing)
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Tenth Annual IEEE Symposium on Logic in Computer Science
Automata and computability
The design and analysis of algorithms
Proceedings