Logic, Computation and Rigorous Methods
This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.
It acknowledges Prof. Börger''s inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger''s research interests are unusual in scope, from programming languages to hardware architectures, software architectures, contr...
This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.
It acknowledges Prof. Börger''s inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger''s research interests are unusual in scope, from programming languages to hardware architectures, software architectures, contr...