Arithmetical Congruence Preservation: From Finite to Infinite

Patrick Cégielski, Serge Grigorieff, Irène Guessarian. Arithmetical Congruence Preservation: From Finite to Infinite. In Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte, editors, Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Volume 9300 of Lecture Notes in Computer Science, pages 210-225, Springer, 2015. [doi]

Authors

Patrick Cégielski

This author has not been identified. Look up 'Patrick Cégielski' in Google

Serge Grigorieff

This author has not been identified. Look up 'Serge Grigorieff' in Google

Irène Guessarian

This author has not been identified. Look up 'Irène Guessarian' in Google