- Algebras for Automata: Reasoning with Regularity (Invited Talk) Anupam Das Mon 17 March 2025
- Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs David Baelde Amina Doumane Denis Kuperberg Alexis Saurin Mon 29 August 2022
- Boolean Equation Solving As Graph Traversal Brian Herlihy Peter Schachte Harald Søndergaard Fri 28 March 2014
- On the Complexity of Nash Equilibria and Other Fixed Points Kousha Etessami Mihalis Yannakakis Mon 10 March 2014
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
