Elementary Differential Calculus on Discrete and Hybrid Structures

Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel Rivera. Elementary Differential Calculus on Discrete and Hybrid Structures. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings. Volume 4514 of Lecture Notes in Computer Science, pages 41-53, Springer, 2007. [doi]

Authors

Howard A. Blair

This author has not been identified. Look up 'Howard A. Blair' in Google

David W. Jakel

This author has not been identified. Look up 'David W. Jakel' in Google

Robert J. Irwin

This author has not been identified. Look up 'Robert J. Irwin' in Google

Angel Rivera

This author has not been identified. Look up 'Angel Rivera' in Google