- Jumping Automata over Infinite Words Shaull Almagor Omer Yizhaq Thu 06 April 2023
- The Shortest Axiom of the Implicational Calculus of Propositions Jan Łukasiewicz Thu 06 April 2023
- Equational Theories of Algebras with Distributive Congruences R. Padmanabhan R. W. Quackenbush Thu 06 April 2023
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs André Platzer Thu 06 April 2023
- Abstraction of Elementary Hybrid Systems by Variable Transformation Jiang Liu Naijun Zhan Hengjun Zhao Liang Zou Thu 06 April 2023
- Computability with polynomial differential equations Daniel S. Graça Manuel L. Campagnolo Jorge Buescu Thu 06 April 2023
- Density of algebraic points on Noetherian varieties Gal Binyamini Thu 06 April 2023
- Differential Game Logic André Platzer Thu 06 April 2023
- Differential Hybrid Games André Platzer Thu 06 April 2023
- An Axiomatic Approach to Existence and Liveness for Differential Equations Yong Kiam Tan André Platzer Thu 06 April 2023
- Differential Equation Invariance Axiomatization André Platzer Yong Kiam Tan Wed 05 April 2023
- Algèbres analytiques topologiquement noéthériennes. Théorie de Khovanskii Jean-Claude Tougeron Wed 05 April 2023
- Systems of Linear Ordinary Differential Equations with Bounded Coefficients May Have Very Oscillating Solutions D. Novikov Tue 04 April 2023
- Meandering of trajectories of polynomials vector fields in the affine n-space D. Novikov S. Yakovenko Tue 04 April 2023
- Scaling Neural Program Synthesis with Distribution-based Search Nathanael Fijalkow Guillaume Lagarde Théo Matricon Kevin Ellis Pierre Ohlmann Akarsh Potta Thu 30 March 2023
- Decidability of One-Clock Weighted Timed Games with Arbitrary Weights Benjamin Monmege Julie Parreaux Pierre-Alain Reynier Thu 30 March 2023
- Model-Checking Branching-Time Properties of Stateless Probabilistic Pushdown Systems and Related Expansion Tianrong Lin Thu 30 March 2023
- Diagonales de fractions rationnelles et équations de Picard-Fuchs Gilles Christol Tue 28 March 2023
- Sur une opération analogue à l'opération de Cartier en caractéristique nulle G. Christol Tue 28 March 2023
- Algebras and Their Sub-Algebras A. H. Diamond J. C. C. Mckinsey Tue 28 March 2023
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
