يعرض 1 - 10 نتائج من 60 نتيجة بحث عن '"Eddie Jones"', وقت الاستعلام: 1.81s تنقيح النتائج
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6

    المصدر: Jochems, J C, Jones, E C & Ramsay, S 2023, ' Higher-Order MSL Horn Constraints ', Proceedings of the ACM on Programming Languages, vol. 7, no. POPL, 69, pp. 2017–2047 . https://doi.org/10.1145/3571262

    وصف الملف: application/pdf

  7. 7
  8. 8

    المساهمون: Jhala, Ranjit, Dillig, Isil

    المصدر: Jones, E C, Ong, L & Ramsay, S 2022, CycleQ : An Efficient Basis for Cyclic Equational Reasoning . in R Jhala & I Dillig (eds), PLDI 2022 : Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation . Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Association for Computing Machinery (ACM), pp. 395-409, The 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation, San Diego, California, United States, 13/06/22 . https://doi.org/10.1145/3519939.3523731

    وصف الملف: application/pdf

  9. 9
  10. 10