- A Coalgebraic Approach to Reducing Finitary Automata Keri D'Angelo Alexandra Silva Tue 28 March 2023
- On a theorem of Tarski Adrian Rezus Tue 28 March 2023
- Single axioms in the implicational propositional calculus Frank Pfenning Tue 28 March 2023
- The Shortest Axiom of the Implicational Calculus of Propositions Jan Łukasiewicz Tue 28 March 2023
- The Membership Problem for Hypergeometric Sequences with Quadratic Parameters George Kenison Klara Nosan Mahsa Shirmohammadi James Worrell Tue 28 March 2023
- Bialgebras for structural operational semantics: An introduction Bartek Klin Tue 28 March 2023
- On Periodic Points Michael Artin Barry Mazur Tue 28 March 2023
- Encoding algebraic power series M. E. Alonso F. C. Castro-Jimenez H. Hauser Tue 28 March 2023
- A computational model for algebraic power series Maria Emilia Alonso Teo Mora Mario Raimondo Tue 28 March 2023
- Coinductive Counting: Bisimulation in Enumerative Combinatorics (Extended Abstract) J.J.M.M. Rutten Tue 28 March 2023
- Undecidable translational tilings with only two tiles, or one nonabelian tile Rachel Greenfeld Terence Tao Sun 26 March 2023
- A counterexample to the periodic tiling conjecture Rachel Greenfeld Terence Tao Sun 26 March 2023
- An aperiodic monotile David Smith Joseph Samuel Myers Craig S. Kaplan Chaim Goodman-Strauss Sun 26 March 2023
- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation Michele Boreale Sat 25 March 2023
- Automatic pre- and postconditions for partial differential equations Michele Boreale Sat 25 March 2023
- Stream Differential Equations: Specification Formats and Solution Methods Helle Hvid Hansen Clemens Kupke Jan Rutten Sat 25 March 2023
- Elements of Stream Calculus: (An Extensive Exercise in Coinduction) J.J.M.M. Rutten Sat 25 March 2023
- Behavioural Differential Equations and Coinduction for Binary Trees Alexandra Silva Jan 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
- Calculus in Coinductive Form D. Pavlovic M. H. Escardó Sat 25 March 2023
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
