المؤلفون: van Oostrom, Vincent

المصدر: EPTCS 377, 2023, pp. 27-43

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

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

المؤلفون: Zantema, Hans^{Aff1, Aff2, IDs00200023006066_cor1}, van Oostrom, Vincent

المصدر: Applicable Algebra in Engineering, Communication and Computing. :1-23

المؤلفون: Hirokawa, Nao, Nagele, Julian, van Oostrom, Vincent, Oyamaguchi, Michio

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

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

المؤلفون: Zantema, Hans^{Aff1, Aff2, IDs00200023006137_cor1}, van Oostrom, Vincent

المصدر: Applicable Algebra in Engineering, Communication and Computing. :1-2

المؤلفون: Hirokawa, Nao, Nagele, Julian, van Oostrom, Vincent, Oyamaguchi, Michio

المصدر: In Proceedings of the 6th International Workshop on Confluence, pages 33 - 37, 2017

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

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

المؤلفون: Nagele, Julian, van Oostrom, Vincent, Sternagel, Christian

المصدر: In Proceedings of the 5th International Workshop on Confluence, pages 55 - 59, 2016

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

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

المؤلفون: Hirokawa, Nao^Aff9, Nagele, Julian^Aff10, van Oostrom, Vincent^Aff11, Oyamaguchi, Michio^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Fontaine, Pascal, editor^Aff8

المصدر: Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. 11716:319-336

المؤلفون: Grabmayer, Clemens, van Oostrom, Vincent

المصدر: EPTCS 183, 2015, pp. 48-65

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

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

المؤلفون: Felgenhauer, Bertram, Middeldorp, Aart, Zankl, Harald, van Oostrom, Vincent

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

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

المؤلفون: Endrullis, Joerg, Grabmayer, Clemens, Hendriks, Dimitri, Klop, Jan Willem, van Oostrom, Vincent

المصدر: Logical Methods in Computer Science, Volume 10, Issue 2 (June 8, 2014) lmcs:752

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

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