计算机科学
国家(计算机科学)
理论计算机科学
人工智能
标识
DOI:10.1007/978-3-030-76020-5_10
摘要
I sketch what I think led to the emergence of Abstract State Machines. A central role in this is played by the work of Ashok Chandra and David Harel on computable queries in databases. I also define Chandra-Harel Algebras, and analyse Blum-Shub-Smale computability over these algebras.
科研通智能强力驱动
Strongly Powered by AbleSci AI