المؤلفون: de Lima, Thaynara Arielly, Avelar, Andréia Borges, Galdino, André Luiz, Ayala-Rincón, Mauricio

المصدر: EPTCS 402, 2024, pp. 18-33

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

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

المؤلفون: Ayala-Rincon, Mauricio, Cerna, David M., Barragan, Andres Felipe Gonzalez, Kutsia, Temur

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

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

المؤلفون: Ayala-Rincón, Mauricio^Aff27, Cerna, David M.^Aff28, Barragán, Andrés Felipe González^Aff27, Kutsia, Temur^Aff29

المساهمون: Hartmanis, Juris, Founding Editor^Aff1, van Leeuwen, Jan, Series Editor^Aff2, Hutchison, David, Editorial Board Member^Aff3, Kanade, Takeo, Editorial Board Member^Aff4, Kittler, Josef, Editorial Board Member^Aff5, Kleinberg, Jon M., Editorial Board Member^Aff6, Kobsa, Alfred, Series Editor^Aff7, Mattern, Friedemann, Editorial Board Member^Aff8, Mitchell, John C., Editorial Board Member^Aff9, Naor, Moni, Editorial Board Member^Aff10, Nierstrasz, Oscar, Series Editor^Aff11, Pandu Rangan, C., Editorial Board Member^Aff12, Sudan, Madhu, Series Editor^Aff13, Terzopoulos, Demetri, Editorial Board Member^Aff14, Tygar, Doug, Editorial Board Member^Aff15, Weikum, Gerhard, Series Editor^Aff16, Vardi, Moshe Y, Series Editor^Aff17, Goos, Gerhard, Founding Editor^Aff18, Bertino, Elisa, Editorial Board Member^Aff19, Gao, Wen, Editorial Board Member^Aff20, Steffen, Bernhard, Editorial Board Member^Aff21, Yung, Moti, Editorial Board Member^Aff22, Woeginger, Gerhard, Editorial Board Member^Aff23, Benzmüller, Christoph, editor^Aff24, Heule, Marijn J.H., editor^Aff25, Schmidt, Renate A., editor^Aff26

المصدر: Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II. 14740:317-337

المؤلفون: da Silveira, Lucas Ângelo, de Lima, Thaynara Arielly, Ayala-Rincón, Mauricio

مصطلحات موضوعية: Computer Science - Neural and Evolutionary Computing, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Discrete Mathematics

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

المؤلفون: Ayala-Rincon, Mauricio, Bonelli, Eduardo

المصدر: EPTCS 357, 2022

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

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

المؤلفون: Muñoz, Cesar A., Ayala-Rincón, Mauricio, Moscato, Mariano M.^{Aff3, IDs1081702309669z_cor3}, Dutle, Aaron M., Narkawicz, Anthony J., Almeida, Ariane Alves, da Silva, Andréia B. Avelar, Ramos, Thiago M. Ferreira

المصدر: Journal of Automated Reasoning. 67(4)

المؤلفون: da Silveira, Lucas A., de Lima, Thaynara A., Ayala-Rincón, Mauricio

المصدر: In Swarm and Evolutionary Computation August 2024 89

المؤلفون: Ayala-Rincón, Mauricio^Aff9, Fernández, Maribel^Aff10, Silva, Gabriel Ferreira^Aff9, Kutsia, Temur^Aff11, Nantes-Sobrinho, Daniele^{Aff9, 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, Yung, Moti, Editorial Board Member^Aff6, Dubois, Catherine, editor^Aff7, Kerber, Manfred, editor^Aff8

المصدر: Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings. 14101:53-68

المؤلفون: Nunes, Daniel S. N., Louza, Felipe A., Gog, Simon, Ayala-Rincón, Mauricio, Navarro, Gonzalo

مصطلحات موضوعية: Computer Science - Data Structures and Algorithms

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

المؤلفون: Ayala-Rincón, Mauricio, de Lima, Thaynara Arielly

المصدر: EPTCS 328, 2020, pp. 1-17

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

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