José Manuel Rodríguez Caballero

发表

Dominique Unruh, José Manuel Rodríguez Caballero, Dominique Unruh, 2020, Arch. Formal Proofs.

José Manuel Rodríguez Caballero, 2020, Arch. Formal Proofs.

José Manuel Rodríguez Caballero, 2017, WORDS.

José Manuel Rodríguez Caballero, 2018, Integers.

Dominique Unruh, José Manuel Rodríguez Caballero, Dominique Unruh, 2021, Arch. Formal Proofs.

José Manuel Rodríguez Caballero, Tanbir Ahmed, 2017, 1709.05946.

José Manuel Rodríguez Caballero, 2018, 1801.03134.

José Manuel Rodríguez Caballero, 2020 .

José Manuel Rodríguez Caballero, L. Bartholdi, Ahmed Tanbir, 2020, Algebra and Discrete Mathematics.

José Manuel Rodríguez Caballero, José Manuel Rodríguez Caballero, 2018, Finite Fields Their Appl..

José Manuel Rodríguez Caballero, Jose Manuel Rodriguez Caballero, 2020, 2008.05894.