- On Certain Intersection Properties of Convex Sets V. L. Klee Fri 02 March 2012
- Maximal Flow Through a Network L. R. Ford D. R. Fulkerson Fri 02 March 2012
- On the Enumeration of Rooted Non-Separable Planar Maps W. G. Brown W. T. Tutte Fri 02 March 2012
- Finitely Related Algebras In Congruence Distributive Varieties Have Near Unanimity Terms Libor Barto Fri 02 March 2012
- An Informal Arithmetical Approach to Computability and Computation Z.A. Melzak Fri 02 March 2012
- How to Program an Infinite Abacus Joachim Lambek Fri 02 March 2012
- Integers of Biquadratic Fields Kenneth S. Williams Fri 02 March 2012
- Tensor Products and Bimorphisms Bernhard Banaschewski Evelyn Nelson Fri 02 March 2012
- Strong minimality and the textdollarjtextdollar-function James Freitag Thomas Scanlon Fri 02 March 2012
- Regularity lemma for distal structures Artem Chernikov Sergei Starchenko Fri 02 March 2012
- Mathematical Logic: Proof Theory, Constructive Mathematics Samuel Buss Ulrich Kohlenbach Michael Rathjen Fri 02 March 2012
- How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) Nils Bulling Valentin Goranko Fri 02 March 2012
- Algorithmic Verification of Continuous and Hybrid Systems Oded Maler Fri 02 March 2012
- Expectations or Guarantees I Want It All A crossroad between games and MDPs Véronique Bruyère Emmanuel Filiot Mickael Randour Jean-François Raskin Fri 02 March 2012
- Decision Problems for Deterministic Pushdown Automata on Infinite Words Christof Löding Fri 02 March 2012
- A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings Gustav Grabolle Fri 02 March 2012
- Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings Andreas Maletti Nils Oskar Nuernbergk Fri 02 March 2012
- Algebra and Coalgebra of Stream Products Michele Boreale Daniele Gorla Fri 02 March 2012
- Inclusion Testing of Büchi Automata Based on Well-Quasiorders Kyveli Doveri Pierre Ganty Francesco Parolini Francesco Ranzato Fri 02 March 2012
- History-Deterministic Timed Automata Thomas A. Henzinger Karoliina Lehtinen Patrick Totzke Fri 02 March 2012
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
