00495nam a2200169Ia 4500 518.542 W926.LP Workshop on "Logics of Programs", Yorktown Heights, New York, May 4-6, 1981 Logics of programs; papers Ed. by Dexter Kozen Berlin Springer-Verlag 1982 vi, 429p. Lecture notes in Computer Science 131 Kozen, Dexter ; ed. 0 0 0 0 ISI ISI 1998-09-21 0 518.542 W926.LP DP18026 2019-02-14 00:00:00 2019-02-14 BK 12461 12461 12461