- DIFFERENTIAL GALOIS THEORY Andy R. Magid Thu 23 November 2023
- Optimal controller synthesis for timed systems Damien Busatto-Gaston Benjamin Monmege Pierre-Alain Reynier Thu 23 November 2023
- Synchronized CTL over One-Counter Automata Shaull Almagor Daniel Assa Udi Boker Thu 23 November 2023
- Edsger Dijkstra, The Man Who Carried Computer Science on His Shoulders Krzysztof R. Apt Thu 23 November 2023
- Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics Frédéric Herbreteau B. Srivathsan Igor Walukiewicz Thu 23 November 2023
- Some New Methods and Results in Tree Enumeration Andrew M. Odlyzko Wed 22 November 2023
- The Weighted HOM-Problem over Fields Andreea-Teodora Nász Wed 22 November 2023
- The structure of the automorphism group of polynomial rings Marshall Fraser Adolf Mader Wed 22 November 2023
- SOME REMARKS ON THE JACOBIAN CONJECTURE AND POLYNOMIAL ENDOMORPHISMS DAN YAN MICHIEL DE BONDT Wed 22 November 2023
- Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries Diego Figueira Rémi Morvan Tue 21 November 2023
- Prime ideals in skew polynomial rings and quantized Weyl algebras K.R. Goodearl Tue 21 November 2023
- A multivariable Hensel's lemma Keith Conrad Mon 20 November 2023
- Automata-based Quantitative Verification Suguman Bansal Mon 20 November 2023
- Real nullstellensatz and sum of squares Maria Michalska Mon 20 November 2023
- Notes on exponential generating functions and structures Mark Haiman Mon 20 November 2023
- Differential Elimination and Biological Modelling François Boulier Sun 19 November 2023
- On the reduction of dynamical systems by means of parametrized invariant relations E. R. van Kampen Aurel Wintner Sun 19 November 2023
- The umbilical cord of finite model theory Yuri Gurevich Sun 19 November 2023
- Skew Polynomial Rings T.H.M. Smits Sun 19 November 2023
- Enhancing active model learning with equivalence checking using simulation relations Natasha Yogananda Jeppu Tom Melham Daniel Kroening Sun 19 November 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
