Computer Science, Logic in Computer Science Computational Expressivity of (Circular) Proofs with Fixed Points December 21, 2023
Computer Science, Data Structures and Algorithms Counting Fixed Points in Tree Cellular Automata: Open Questions and Unsolved Problems December 21, 2023