- Weighted Petri nets and polynomial dynamical systems Mikhail V. Foursov Christiane Hespel Mon 10 February 2025
- On exponentials of exponential generating series Roland Bacher Mon 16 December 2024
- Artin Approximation Guillaume Rond Thu 23 May 2024
- Recognizability of the support of recognizable series over the semiring of the integers is undecidable D. Kirsten K. Quaas Tue 15 August 2023
- Elements of Stream Calculus: (An Extensive Exercise in Coinduction) J.J.M.M. Rutten Sat 25 March 2023
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series J. J. M. M. Rutten Sat 25 March 2023
- Generalized power series solutions to linear partial differential equations Joris van der Hoeven Thu 02 February 2023
- Parkh's Theorem Does Not Hold for Multiplicities Ion Petre Fri 28 October 2022
- Simple Differentially Definable Functions Antonio Jiménez-Pastor Fri 01 July 2022
- A computable extension for D-finite functions: DD-finite functions Antonio Jiménez-Pastor Veronika Pillwein Fri 16 October 2020
- Multivariate linear recurrences and power series division Herwig Hauser Christoph Koutschan Fri 24 April 2020
- Regular Languages and Their Generating Functions: The Inverse Problem Christoph Koutschan Thu 10 May 2018
- Logics for Weighted Timed Pushdown Automata Manfred Droste Vitaly Perevoshchikov Sat 26 December 2015
- Pushdown Tree Automata, Algebraic Tree Systems, and Algebraic Tree Series Werner Kuich Tue 16 October 2012
Library Size: 13G (14 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
