by Aldo Iván Ramírez Abarca, Broersen, Jan
Published in arXiv.org (22.06.2021)

by Ramírez Abarca, Aldo Iván
Published in Electronic proceedings in theoretical computer science (11.07.2023)

by Ramírez Abarca, Aldo Iván, Broersen, Jan
Published in Electronic proceedings in theoretical computer science (22.06.2021)

by DUIJF, HEIN, BROERSEN, JAN, KUNCOVÁ, ALEXANDRA, RAMÍREZ ABARCA, ALDO IVÁN
Published in The review of symbolic logic (01.06.2021)

by Abarca, Aldo Iván Ramírez
Year of Publication 14.02.2023

by Ramírez Abarca, Aldo Iván, Broersen, Jan
Published in Journal of logical and algebraic methods in programming (01.11.2021)

by Ramírez Abarca, Aldo Iván, Broersen, Jan
Published in Logics in Artificial Intelligence

by Aldo Iván Ramírez Abarca
Published in arXiv.org (14.02.2023)

by Abarca, Aldo Iván Ramírez, Broersen, Jan
Year of Publication 19.11.2019

by Abarca, Aldo Iván Ramírez, Broersen, Jan
Year of Publication 25.03.2019

by Aldo Iván Ramírez Abarca, Broersen, Jan
Published in arXiv.org (19.11.2019)