by Behr, Nicolas, Harmer, Russ, Krivine, Jean
Published in Journal of logical and algebraic methods in programming (01.10.2023)

by Behr, Nicolas, Harmer, Russ, Krivine, Jean
Year of Publication 14.04.2022

by Behr, Nicolas, Harmer, Russ, Krivine, Jean
Published in arXiv.org (14.07.2023)

by MARTÍN, ÓSCAR, VERDEJO, ALBERTO, MARTÍ-OLIET, NARCISO
Published in Theory and practice of logic programming (01.01.2024)

by MARTÍN, ÓSCAR, VERDEJO, ALBERTO, MARTÍ-OLIET, NARCISO
Published in Theory and practice of logic programming (01.01.2020)

by Martín, Óscar, Verdejo, Alberto, Martí-Oliet, Narciso
Year of Publication 31.07.2023

by Dershowitz, Nachum, Jouannaud, Jean-Pierre
Published in Theoretical computer science (19.07.2019)

by Martín, Óscar, Verdejo, Alberto, Martí-Oliet, Narciso
Published in arXiv.org (31.07.2023)

by Bottoni, Paolo, Labella, Anna
Published in Theoretical computer science (16.03.2021)

by Behr, Nicolas
Published in Electronic proceedings in theoretical computer science (15.09.2020)

by Shintani, Kiraku, Hirokawa, Nao
Published in Logical methods in computer science (01.01.2024)

by Ashizu, Kaori
Published in Critical survey (Oxford, England) (22.03.2021)

by Cicala, Daniel
Year of Publication 12.06.2019

by Martín, Óscar, Verdejo, Alberto, Martí-Oliet, Narciso
Published in arXiv.org (30.01.2020)

by Dorman, Andrei, Heindel, Tobias, Konig, Barbara
Published in Scientific annals of computer science (01.01.2012)

by Dorman, Andrei, Heindel, Tobias
Published in Electronic proceedings in theoretical computer science (31.07.2011)

by Behr, Nicolas
Published in arXiv.org (15.09.2020)

by Cicala, Daniel
Published in arXiv.org (13.06.2019)

by Behr, Nicolas, Harmer, Russ, Krivine, Jean
Published in Graph Transformation (2021)

by Constantin, Carmen, Fritz, Tobias, Perrone, Paolo, Shapiro, Brandon T
Published in Theory and applications of categories (01.01.2023)