- Monoidal Bicategories and Hopf Algebroids Brian Day Ross Street Fri 02 March 2012
- Borel Chromatic Numbers A.S Kechris S Solecki S Todorcevic Fri 02 March 2012
- Weighted finite-state transducers in speech recognition Mehryar Mohri Fernando Pereira Michael Riley Fri 02 March 2012
- On Convergence Rates in the Central Limit Theorems for Combinatorial Structures H.-K. Hwang Fri 02 March 2012
- On the Interpretation of Decision Problems with Imperfect Recall Michele Piccione Ariel Rubinstein Fri 02 March 2012
- Stable Coalition Structures with Externalities Sang-Seung Yi Fri 02 March 2012
- Real-Time Logics: Complexity and Expressiveness R. Alur T.A. Henzinger Fri 02 March 2012
- Bounds on Shared Memory for Mutual Exclusion J.E. Burns N.A. Lynch Fri 02 March 2012
- A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events D. Kozen Fri 02 March 2012
- The Lazy Lambda Calculus in a Concurrency Scenario D. Sangiorgi Fri 02 March 2012
- A Kleene Theorem for a Class of Planar Acyclic Graphs F. Bossut M. Dauchet B. Warin Fri 02 March 2012
- Parallel Reductions in łambda-Calculus M. Takahashi Fri 02 March 2012
- Forward and Backward Simulations N. Lynch F. Vaandrager Fri 02 March 2012
- Nondeterministic Extensions of Untyped łambda-Calculus U. Deliguoro A. Piperno Fri 02 March 2012
- Database Query Languages Embedded in the Typed Lambda Calculus Gerd G. Hillebrand Paris C. Kanellakis Harry G. Mairson Fri 02 March 2012
- Logical Hierarchies in PTIME Lauri Hella Fri 02 March 2012
- Metafinite Model Theory Erich Grädel Yuri Gurevich Fri 02 March 2012
- One-Unambiguous Regular Languages Anne Brüggemann-Klein Derick Wood Fri 02 March 2012
- All Structured Programs Have Small Tree Width and Good Register Allocation Mikkel Thorup Fri 02 March 2012
- Light Linear Logic Jean-Yves Girard Fri 02 March 2012
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A
