- The equational theory of the Weihrauch lattice with (iterated) composition Cécilia Pradic Fri 31 January 2025
- Presheaf automata Georg Struth Krzysztof Ziemiański Sat 12 October 2024
- Place Bisimilarity is Decidable, Indeed Roberto Gorrieri Sat 25 November 2023
- A Decidable Equivalence for a Turing-complete, Distributed Model of Computation Arnaldo Cesco Roberto Gorrieri Mon 06 November 2023
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
