- Weakening the Axiom of Overlap in Infinitary Lambda Calculus Paula Severi Fer-Jan de Vries Sat 25 January 2014
- Infinite łambda-calculus and non-sensible models Alessandro Berarducci Sat 25 January 2014
- An algebraic interpretation of the łambdabetaK-calculus and a labelled łambda-calculus Jean-Jacques Levy Sat 25 January 2014
- Explicit cyclic substitutions Kristoffer Høgsbro Rose Sat 25 January 2014
- Termination Property of Inverse Finite Path Overlapping Term Rewriting System is Decidable Toshinori Takai Yuichi Kaji Hiroyuki Seki Fri 24 January 2014
- A Decidable Subclass of Term Rewriting Systems which Effectively Preserves Regonizability Toshinori Takai Fri 24 January 2014
- Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting Joerg Endrullis Clemens Grabmayer Dimitri Hendriks Jan Willem Klop Fri 24 January 2014
- Left-linear Bounded TRSs are Inverse Recognizability Preserving Irène Durand Marc Sylvestre Fri 24 January 2014
- Transfinite Reductions in Orthogonal Term Rewriting Systems Richard Kennaway Jan Willem Klop Ronan Sleep Fer-Jan de Vries Fri 24 January 2014
- Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract) Richard Kennaway Jan Willem Klop M. Ronan Sleep Fer-Jan de Vries Fri 24 January 2014
- Qualitative Reachability in Stochastic BPA Games Tomáš Brázdil Václav Broek Antonín Kučera Jan Obdrálek Fri 24 January 2014
- Qualitative Determinacy and Decidability of Stochastic Games with Signals N. Bertrand B. Genest H. Gimbert Fri 24 January 2014
- Stochastic games with branching-time winning objectives T. Brazdil V. Brozek V. Forejt A. Kucera Fri 24 January 2014
- Computing Optimal Strategies for Markov Decision Processes with Parity and Positive-Average Conditions Hugo Gimbert Youssouf Oualhadj Soumya Paul Fri 24 January 2014
- On Omega-Languages Defined by Mean-Payoff Conditions Rajeev Alur Aldric Degorre Oded Maler Gera Weiss Fri 24 January 2014
- Better Quality in Synthesis Through Quantitative Objectives Roderick Bloem Krishnendu Chatterjee Thomas A. Henzinger Barbara Jobstmann Fri 24 January 2014
- Synthesis of Winning Strategies for Interaction under Partial Information Bernd Puchala Fri 24 January 2014
- Asynchronous Omega-regular Games with Partial Information Bernd Puchala Fri 24 January 2014
- Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives Krishnendu Chatterjee Laurent Doyen Fri 24 January 2014
- On confluence and residuals in Cauchy convergent transfinite rewriting Jakob Grue Simonsen Fri 24 January 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
