المؤلفون: Hirsch, Robin

مصطلحات موضوعية: Mathematics - Logic, 03B44

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

المؤلفون: Hirsch, Robin, Semrl, Jas

المصدر: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2021 36th Annual ACM/IEEE Symposium on. :1-10 Jun, 2021

Relation: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

المؤلفون: Hirsch, Robin, McLean, Brett

المصدر: Advances in Modal Logic, Volume 14 (2022) College Publications, 491-506

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

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

المؤلفون: Egrot, Rob, Hirsch, Robin

مصطلحات موضوعية: Mathematics - Logic, 03G15

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

المؤلفون: Hirsch, Robin, McLean, Brett

المصدر: Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs, Outstanding Contributions to Logic, Volume 22, Springer, 2022, 389-409

مصطلحات موضوعية: Mathematics - Logic, 03B44

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

المؤلفون: Hirsch, Robin, Mikulás, Szabolcs, Stokes, Tim

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Computation and Language

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

المؤلفون: Hirsch, Robin

مصطلحات موضوعية: Quantitative Finance - General Finance, Mathematics - Logic

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

المؤلفون: Hirsch, Robin, Šemrl, Jaš

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

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

المؤلفون: Egrot, Rob, Hirsch, Robin

مصطلحات موضوعية: Mathematics - Logic, 03G15

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

المؤلفون: Egrot, Rob, Hirsch, Robin

المصدر: Journal of Graph Theory 99, 278 - 311, 2022

مصطلحات موضوعية: Mathematics - Combinatorics, 05C60

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