-
1تقرير
المؤلفون: Ackerman, Nathanael L., Freer, Cameron E., Kaddar, Younesse, Karwowski, Jacek, Moss, Sean K., Roy, Daniel M., Staton, Sam, Yang, Hongseok
المصدر: Proc. ACM Program. Lang. 8, POPL, Article 61 (2024), pp 1819-1849
مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, Mathematics - Probability
URL الوصول: http://arxiv.org/abs/2312.17127
-
2مؤتمر
المصدر: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2019 34th Annual ACM/IEEE Symposium on. :1-13 Jun, 2019
Relation: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
-
3تقرير
المصدر: Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, PMLR 89:1640-1649, 2019
مصطلحات موضوعية: Mathematics - Statistics Theory, Computer Science - Machine Learning, Statistics - Methodology
URL الوصول: http://arxiv.org/abs/1902.10142
-
4مؤتمر
المصدر: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science Logic in Computer Science (LICS), 2015 30th Annual ACM/IEEE Symposium on. :523-534 Jul, 2015
Relation: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
-
5تقرير
المؤلفون: Staton, Sam, Stein, Dario, Yang, Hongseok, Ackerman, Nathanael L., Freer, Cameron E., Roy, Daniel M.
المصدر: Proceedings of the 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), 141:1-141:15, 2018
مصطلحات موضوعية: Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/1802.09598
-
6تقرير
-
7تقرير
المصدر: Logical Methods in Computer Science, Volume 15, Issue 2 (April 30, 2019) lmcs:3834
مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, Primary 03D65, Secondary 03C57, 03D30, 03E15
URL الوصول: http://arxiv.org/abs/1708.01139
-
8مؤتمر
المؤلفون: Ackerman, Nathanael L., Freer, Cameron E., Roy, Daniel M.
المصدر: 2011 IEEE 26th Annual Symposium on Logic in Computer Science Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on. :107-116 Jun, 2011
Relation: 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)
-
9تقرير
المؤلفون: Ackerman, Nathanael L., Freer, Cameron E., Roy, Daniel M.
المصدر: Mathematical Structures in Computer Science, 27:8 (2017), pp. 1287-1314
مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, Mathematics - Probability, Mathematics - Statistics Theory, Primary: 03F60, 28A50, Secondary: 68Q17, 60A05, 62A01, 65C50, 68Q87
URL الوصول: http://arxiv.org/abs/1509.02992
-
10تقرير
المؤلفون: Ackerman, Nathanael L., Freer, Cameron E., Roy, Daniel M.
المصدر: Journal of the ACM, 66:3 (2019), pp. 23:1-23:40
مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, Mathematics - Probability, Mathematics - Statistics Theory, Statistics - Machine Learning, 03D78, 62F15, 68T37, 60B05, 03F60, 65G50, 60A05, 60A10, G.3, F.1.2
URL الوصول: http://arxiv.org/abs/1005.3014