by Arrighi, Pablo, Díaz-Caro, Alejandro, Valiron, Benoît
Published in Information and computation (01.06.2017)

by VAUX, LIONEL
Published in Mathematical structures in computer science (01.10.2009)

by Copello, Ernesto, Szasz, Nora, Tasistro, Álvaro
Published in Theoretical computer science (15.07.2017)

by de'Liguoro, Ugo, Treglia, Riccardo
Published in Theoretical computer science (18.12.2020)

by Santo, José Espírito, Kesner, Delia, Peyrot, Loïc
Published in Logical methods in computer science (01.01.2024)

by Atzemoglou, Philip
Published in Electronic proceedings in theoretical computer science (28.12.2014)

by Baillot, Patrick, Terui, Kazushige
Published in Information and computation (2009)

by Dougherty, Daniel J., Ghilezan, Silvia, Lescanne, Pierre
Published in Theoretical computer science (28.05.2008)

by Ferenczova, Andrea, Perhac, Jan
Published in International Symposium on Intelligent Systems & Informatics (21.09.2023)

by LAGO, UGO DAL, MASINI, ANDREA, ZORZI, MARGHERITA
Published in Mathematical structures in computer science (01.04.2009)

by Noriega, Francisco, Díaz-Caro, Alejandro
Year of Publication 07.07.2020

by Colson, Loïc, Michel, David
Published in Theoretical computer science (28.09.2009)

by van Bakel, Steffen
Published in Logical methods in computer science (25.05.2023)

by José Espírito Santo, Kesner, Delia, Peyrot, Loïc
Published in arXiv.org (26.07.2024)

by Arrighi, Pablo, Díaz-Caro, Alejandro, Valiron, Benoît
Published in Electronic proceedings in theoretical computer science (30.07.2012)

by Kamareddine, Fairouz
Year of Publication 05.01.2024

by Mazzola, Guerino, Milmeister, Gérard, Weissmann, Jody
Year of Publication 2006

by Dundua, Besik, Florido, Mario, Kutsia, Temur
Published in 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2015)

by de'Liguoro, Ugo, Treglia, Riccardo
Year of Publication 12.07.2019

by Krebbers, Robbert
Published in Electronic proceedings in theoretical computer science (09.10.2012)