- Labeled shortest paths in digraphs with negative and positive edge weights Phillip G. Bradford David A. Thomas Fri 02 March 2012
- Recursive algorithm for parity games requires exponential time Oliver Friedmann Fri 02 March 2012
- Probabilistic operational semantics for the lambda calculus Ugo Dal Lago Margherita Zorzi Fri 02 March 2012
- Affine Parikh automata Michaël Cadilhac Alain Finkel Pierre McKenzie Fri 02 March 2012
- On Distributive Fixed-Point Expressions Helmut Seidl Damian Niwiński Fri 02 March 2012
- Call-by-value Solvability Luca Paolini Simona Ronchi Della Rocca Fri 02 March 2012
- Two-variable word equations Lucian Ilie Wojciech Plandowski Fri 02 March 2012
- An Exercise on Fibonacci Representations Jean Berstel Fri 02 March 2012
- Feedback, trace and fixed-point semantics P. Katis Nicoletta Sabadini Robert F.C. Walters Fri 02 March 2012
- -Bicomplete Categories and Parity Games Luigi Santocanale Fri 02 March 2012
- Free group languages: Rational versus recognizable Pedro V. Silva Fri 02 March 2012
- On the equivalence of linear conjunctive grammars and trellis automata Alexander Okhotin Fri 02 March 2012
- Coproducts of Ideal Monads Neil Ghani Tarmo Uustalu Fri 02 March 2012
- Adhesive and quasiadhesive categories Stephen Lack Paweł Sobociński Fri 02 March 2012
- Undecidability of infinite post correspondence problem for instances of Size 9 Vesa Halava Tero Harju Fri 02 March 2012
- Hyper-minimizing minimized deterministic finite state automata Andrew Badr Viliam Geffert Ian Shipman Fri 02 March 2012
- Statistical Fluctuations in Autocatalytic Reactions Max Delbrück Fri 02 March 2012
- The Arithmetic of Discretized Rotations Franco Vivaldi Fri 02 March 2012
- Small perturbations of chaotic dynamical systems M L Blank Fri 02 March 2012
- One of the numbers zeta(5), zeta(7), zeta(9), zeta(11) is irrational W W Zudilin Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
