- The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation Yoshiki Nakamura Thu 17 February 2022
- The equational theory of union-free algebras of relations H. Andréka D. A. Bredikhin Thu 17 February 2022
- The Complexity of Combinatorial Problems with Succinct Input Representation Klaus W. Wagner Tue 15 February 2022
- Complete Functional Synthesis Viktor Kuncak Mikael Mayer Ruzica Piskac Philippe Suter Mon 14 February 2022
- Optimizing tree decompositions in MSO Mikołaj Bojańczyk Michał Pilipczuk Mon 07 February 2022
- Proof theory for fragments of the modal mu-calculus Zenger Fri 04 February 2022
- -Levels of Interpolation Giovanna D'Agostino Fri 04 February 2022
- Some Remarks on Maehara's Method Takahiro Seki Fri 04 February 2022
- Canonical completeness of infinitary mu Gerhard Jager Mathis Kretz Thomas Studer Fri 04 February 2022
- On the Proof Theory of the Modal mu-Calculus Thomas Studer Fri 04 February 2022
- A Note on the Relation between Recognisable Series and Regular Sequences, and their Minimal Linear Representations Clemens Heuberger Daniel Krenn Gabriel F. Lipnik Fri 04 February 2022
- Approximate NFA Universality and Related Problems Motivated by Information Theory Stavros Konstantinidis Mitja Mastnak Nelma Moreira Rogério Reis Fri 04 February 2022
- On modal mu-calculus with explicit interpolants G. D'Agostino G. Lenzi Thu 03 February 2022
- Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus Bahareh Afshari Graham E. Leigh Guillermo Menéndez Turata Thu 03 February 2022
- Focus-style proof systems and interpolation for the alternation-free mu-calculus Johannes Marti Yde Venema Thu 03 February 2022
- A Focus System for the Alternation-Free mu-Calculus Johannes Marti Yde Venema Thu 03 February 2022
- Approximating the volume of definable sets P. Koiran Wed 02 February 2022
- Reducing Randomness via Irrational Numbers Zhi-Zhong Chen Ming-Yang Kao Tue 01 February 2022
- Reducing Randomness via Irrational Numbers Zhi-Zhong Chen Ming-Yang Kao Tue 01 February 2022
- Supported Sets -- A New Foundation For Nominal Sets And Automata Thorsten Wißmann Tue 01 February 2022
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A