Publisher
Association for Computing Machinery (ACM)
Cited by
62 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The development of computational methods for Feynman diagrams;The European Physical Journal H;2024-03-01
2. What We Talk About When We Talk About Programs;Proceedings of the 2022 Working Group Reports on Innovation and Technology in Computer Science Education;2022-12-27
3. Using Supplementary Properties to Reduce the Need for Documentation;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022
4. The Politics of Early Programming Languages;Historical Studies in the Natural Sciences;2021-06-01
5. German Encounters of Logic and Programming (1948-1958), featuring three Readings of Turing Machines;IEEE Annals of the History of Computing;2021