- Counting and Sampling Traces in Regular Languages Alexis de Colnet Kuldeep S. Meel Umang Mathur Fri 09 January 2026
- Elements of Stream Calculus: (An Extensive Exercise in Coinduction) J.J.M.M. Rutten Sat 25 March 2023
- A formula for the number of labelled trees Vites Longani Thu 22 December 2022
- Reasoning on Data Words over Numeric Domains Diego Figueira Anthony Widjaja Lin Mon 29 August 2022
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A