Formal Models and Computability

Tao Jiang, Ming Li, Bala Ravikumar. Formal Models and Computability. In Allen B. Tucker, editor, The Computer Science and Engineering Handbook. pages 31-63, CRC Press, 1997.

Abstract

Abstract is missing.