Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday - Beklemishev, Lev D; Blass, Andreas; Dershowitz, Nachum; Finkbeiner, Bernd; Schulte, Wolfram (Cham : Springer International Publishing, 2015)
Keywords: Computer science; Computer programming