Finding Reductions Automatically

Michael Crouch, Neil Immerman, J. Eliot B. Moss. Finding Reductions Automatically. In Andreas Blass, Nachum Dershowitz, Wolfgang Reisig, editors, Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Volume 6300 of Lecture Notes in Computer Science, pages 181-200, Springer, 2010. [doi]

Authors

Michael Crouch

This author has not been identified. Look up 'Michael Crouch' in Google

Neil Immerman

This author has not been identified. Look up 'Neil Immerman' in Google

J. Eliot B. Moss

This author has not been identified. Look up 'J. Eliot B. Moss' in Google