@proceedings{Constable2012,
 doi = {10.1007/978-3-642-29485-3},
 editor = {Robert L. Constable and
Alexandra Silva},
 title = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday},
 year = {2012}
}

{"_id":"WLsMSx94dS9MJcdqg","bibbaseid":"constable-silva-logicandprogramsemanticsessaysdedicatedtodexterkozenontheoccasionofhis60thbirthday-2012","bibdata":{"bibtype":"proceedings","type":"proceedings","doi":"10.1007/978-3-642-29485-3","editor":[{"firstnames":["Robert","L."],"propositions":[],"lastnames":["Constable"],"suffixes":[]},{"firstnames":["Alexandra"],"propositions":[],"lastnames":["Silva"],"suffixes":[]}],"title":"Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday","year":"2012","bibtex":"@proceedings{Constable2012,\n doi = {10.1007/978-3-642-29485-3},\n editor = {Robert L. Constable and\nAlexandra Silva},\n title = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday},\n year = {2012}\n}\n\n","editor_short":["Constable, R. L.","Silva, A."],"key":"Constable2012","id":"Constable2012","bibbaseid":"constable-silva-logicandprogramsemanticsessaysdedicatedtodexterkozenontheoccasionofhis60thbirthday-2012","role":"editor","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"proceedings","biburl":"https://alexandrasilva.org/files/silva.bib","dataSources":["BQAtJ795ujcMgoxSg","g3oJeDsRp4CMAYtS6"],"keywords":[],"search_terms":["logic","program","semantics","essays","dedicated","dexter","kozen","occasion","60th","birthday"],"title":"Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday","year":2012}