Logic and Program Semantics [E-Book]: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / edited by Robert L. Constable, Alexandra Silva.
Constable, Robert L.
Silva, Alexandra.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
digital.
englisch
9783642294853
10.1007/978-3-642-29485-3
Lecture notes in computer science ; 7230
Full Text
Description not available.