| 2023 |
J |
jnl |
Log. Methods Comput. Sci.
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
|
| 2022 |
J |
jnl |
CoRR
Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
|
| 2022 |
J |
jnl |
CoRR
Santiago Quintero, Carlos Pinzón, Sergio Ramírez, Frank Valencia
|
| 2021 |
J |
jnl |
CoRR
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
|
| 2021 |
J |
jnl |
CoRR
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
|
| 2021 |
C |
conf |
FORTE
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
|
| 2021 |
C |
conf |
RAMiCS
Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Frank Valencia
|
| 2021 |
J |
jnl |
J. Log. Algebraic Methods Program.
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
|
| 2020 |
J |
jnl |
CoRR
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
|
| 2020 |
C |
conf |
RAMiCS
Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
|
| 2020 |
J |
jnl |
CoRR
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
|
| 2019 |
B |
conf |
CONCUR
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
|