المؤلفون: Guo, Liye, Hagens, Kasper, Kop, Cynthia, Vale, Deivid

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

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

المؤلفون: Baillot, Patrick, Lago, Ugo Dal, Kop, Cynthia, Vale, Deivid

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

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

المؤلفون: Kop, Cynthia, Vale, Deivid

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

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

المؤلفون: Guo, Liye, Vale, Deivid

المصدر: EPTCS 376, 2023, pp. 34-48

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

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

المؤلفون: van der Weide, Niels, Vale, Deivid, Kop, Cynthia

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

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

المؤلفون: Kop, Cynthia, Vale, Deivid

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

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

المؤلفون: Vale, Deivid, van der Weide, Niels

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

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

المؤلفون: Vale, Deivid, Kop, Cynthia

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

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

المؤلفون: Ayala-Rincón, Mauricio^Aff10, Fernández, Maribel^Aff11, Nantes-Sobrinho, Daniele^Aff10, Vale, Deivid^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, Kiefer, Stefan, editor^Aff8, Tasson, Christine, editor^Aff9

المصدر: Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings. 12650:22-41

المؤلفون: Kop, Cynthia, Vale, Deivid

مصطلحات موضوعية: Theory of computation → Equational logic and rewriting, Call-by-Value Evaluation, Complexity Theory, Higher-Order Rewriting

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b7befb33dafada77c7e60b6a66f67dca