المؤلفون: 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

المؤلفون: Ackerman, Nathanael L., Avigad, Jeremy, Freer, Cameron E., Roy, Daniel M., Rute, Jason M.

المصدر: 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)

المؤلفون: Saad, Feras A., Freer, Cameron E., Ackerman, Nathanael L., Mansinghka, Vikash K.

المصدر: 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

المؤلفون: Ackerman, Nathanael L., Freer, Cameron E., Lubarsky, Robert S.

المصدر: 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)

المؤلفون: 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

المؤلفون: Ackerman, Nathanael L., Avigad, Jeremy, Freer, Cameron E., Roy, Daniel M., Rute, Jason M.

مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, Mathematics - Combinatorics, Mathematics - Probability

URL الوصول: http://arxiv.org/abs/1801.10387

المؤلفون: Ackerman, Nathanael L., Freer, Cameron E., Lubarsky, Robert S.

المصدر: 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

المؤلفون: 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)

المؤلفون: 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

المؤلفون: 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