Подписаться
José Abel Castellanos Joo
José Abel Castellanos Joo
Подтвержден адрес электронной почты в домене unm.edu - Главная страница
Название
Процитировано
Процитировано
Год
Equivalence among RC-type paraconsistent logics
M Osorio, JAC Joo
Logic Journal of the IGPL 25 (2), 239-252, 2017
42017
AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff.
JAC Joo, S Ghilardi, A Gianola, D Kapur
SMT, 40-52, 2021
32021
Revisitando C1
JA Castellanos Joo
12014
Beating the Multiplicative Weights Update Algorithm
A Aggarwal, JAC Joo, D Gupta
arXiv preprint arXiv:1708.04668, 2017
2017
Revisitando C1
JAC Joo
2014
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–5