- Analytic aspects of the shuffle product M. Mishna M. Zabrocki Tue 15 May 2018
- Analyzing Timed Systems Using Tree Automata S. Akshay Paul Gastin Shankara Narayanan Krishna Tue 15 May 2018
- The surprizing complexity of generalized reachability games Nathanael Fijalkow Florian Horn Mon 14 May 2018
- Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes J. Křetínský T. Meggendorfer Sat 12 May 2018
- From indexed grammars to generating functions J. Adam E. Freden M. Mishna Thu 10 May 2018
- Formal languages and enumeration Jay R Goldman Thu 10 May 2018
- Regular Languages and Their Generating Functions: The Inverse Problem Christoph Koutschan Thu 10 May 2018
- The minted package: Highlighted source code in LATEX Geoffrey M. Poore Tue 08 May 2018
- Literate Programming: Prolog Documentation with LATEX Gerd Neugebauer Mon 07 May 2018
- Complexity of intuitionistic propositional logic and its fragments Mikhail Rybakov Mon 07 May 2018
- A Formulation of the Simple Theory of Types Alonzo Church Wed 02 May 2018
- Binary reachability of timed pushdown automata via quantifier elimination and cyclic order atoms L. Clemente S. Lasota Tue 01 May 2018
- On generalised catalan numbers A.D. Sands Mon 30 April 2018
- An invitation to analytic combinatorics and lattice path counting Marie-Louise Lackner Michael Wallner Mon 30 April 2018
- Explicit formulas for enumeration of lattice paths: basketball and the kernel method C. Banderier C. Krattenthaler A. Krinik D. Kruchinin V. Kruchinin D. T. Nguyen M. Wallner Mon 30 April 2018
- Combinatorics of Lattice Paths and Tree-like Structures Michael Wallner Mon 30 April 2018
- Lattice Path Combinatorics Michael Wallner Mon 30 April 2018
- Analytic Combinatorics of Planar Lattice Paths Samuel Johnson Mon 30 April 2018
- Walks in the quarter plane: Analytic approach and applications Kilian Raschel Mon 30 April 2018
- New steps in walks with small steps in the quarter plane I. Kurkova K. Raschel Mon 30 April 2018
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
