- Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation M'Hemdi Hana Jacques Julliand Pierre-Alain Masson Riadh Robbana Sat 12 September 2015
- What's Decidable About Recursive Hybrid Automata Shankara Narayanan Krishna Lakshmi Manasa Ashutosh Trivedi Sat 12 September 2015
- Exponentials with Infinite Multiplicities Alberto Carraro Thomas Ehrhard Antonino Salibra Thu 10 September 2015
- On Classical PCF, Linear Logic and the MIX Rule Shahin Amini Thomas Erhard Thu 10 September 2015
- Linear Dependent Types for Differential Privacy Marco Gaboardi Andreas Haeberlen Justin Hsu Arjun Narayan Benjamin C. Pierce Thu 10 September 2015
- Modelling Coeffects in the Relational Semantics of Linear Logic Flavien Breuvart Michele Pagani Thu 10 September 2015
- Least and Greatest Fixed Points in Ludics David Baelde Amina Doumane Alexis Saurin Thu 10 September 2015
- Finite-Degree Predicates and Two-Variable First-Order Logic Charles Paperman Wed 09 September 2015
- On Unambiguous Regular Tree Languages of Index (0,2) Jacques Duparc Kevin Fournier Szczepan Hummel Wed 09 September 2015
- What are Strategies in Delay Games Borel Determinacy for Games with Lookahead Felix Klein Martin Zimmermann Wed 09 September 2015
- Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability Thomas Brihaye Véronique Bruyère Noémie Meunier Jean-Francois Raskin Wed 09 September 2015
- A Coalgebraic Decision Procedure for WS1S Dmitriy Traytel Wed 09 September 2015
- Infinite and Bi-infinite Words with Decidable Monadic Theories Dietrich Kuske Jiamou Liu Anastasia Moskvina Wed 09 September 2015
- Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction Karoliina Lehtinen Sandra Quickert Wed 09 September 2015
- A Unified Approach to Boundedness Properties in MSO Lukasz Kaiser Martin Lang Simon Leßenich Christof Løding Wed 09 September 2015
- Confluence of Layered Rewrite Systems Jiaxiang Liu Jean-Pierre Jouannaud Mizuhito Ogawa Wed 09 September 2015
- Two-Restricted One Context Unification is in Polynomial Time Adrià Gascón Manfred Schmidt-Schauß Ashish Tiwari Wed 09 September 2015
- Rank Logic is Dead, Long Live Rank Logic Erich Gradel Wied Pakusa Wed 09 September 2015
- Relational Semantics of Linear Logic and Higher-order Model Checking Charles Grellois Paul-André Melliès Wed 09 September 2015
- A Model for Behavioural Properties of Higher-order Programs Sylvain Salvati Igor Walukiewicz Wed 09 September 2015
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A