- mathbbN-polyregular functions arise from well-quasi-orderings Aliaume Lopez Fri 18 October 2024
- Languages given by Finite Automata over the Unary Alphabet Gordon Hoi Sanjay Jain Frank Stephan Christopher Tan Mon 20 February 2023
- Buchi automata recognizing sets of reals definable in first-order logic with addition and order Arthur Milchior Wed 12 February 2020
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
