Interactive Algorithms 2005
暂无分享,去创建一个
[1] Bolyai János Matematikai Társulat,et al. Theory of algorithms , 1985 .
[2] Andreas Blass,et al. General Interactive Small Step Algorithms , 2005 .
[3] Hanif D. Sherali,et al. The Concept of an Algorithm , 2005 .
[4] Gheorghe Paun,et al. Current Trends in Theoretical Computer Science: The Challenge of the New Century , 2004 .
[5] Andreas Blass,et al. Ordinary interactive small-step algorithms, II , 2007, TOCL.
[6] Yuri Gurevich,et al. Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.
[7] Andreas Blass,et al. Algorithms: A Quest for Absolute Definitions , 2003, Bull. EATCS.
[8] Andreas Blass,et al. Abstract state machines capture parallel algorithms , 2003, TOCL.
[9] Egon Börger,et al. Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .
[10] Andreas Blass,et al. Ordinary interactive small-step algorithms, I , 2006, TOCL.
[11] Yuri Gurevich,et al. Sequential abstract-state machines capture sequential algorithms , 2000, TOCL.