0 | -- | 0 | Emmanuel Hainry, Romain Péchoux. Theory of higher order interpretations and application to Basic Feasible Functions |
0 | -- | 0 | Wen Kokke, J. Garrett Morris, Philip Wadler. Towards Races in Linear Logic |
0 | -- | 0 | Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard. The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games |
0 | -- | 0 | Stefan Hetzl, Jannik Vierling. Clause Set Cycles and Induction |
0 | -- | 0 | Chong Shen 0003, Xiaoyong Xi, Xiaoquan Xu, Dongsheng Zhao. On open well-filtered spaces |
0 | -- | 0 | Miriam Backens, Simon Perdrix, Quanlong Wang. Towards a Minimal Stabilizer ZX-calculus |
0 | -- | 0 | Alain Finkel, M. Praveen. Verification of Flat FIFO Systems |
0 | -- | 0 | Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli. Field-based Coordination with the Share Operator |
0 | -- | 0 | Matthias Weber. An extended type system with lambda-typed lambda-expressions |
0 | -- | 0 | Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski. Reversing Place Transition Nets |
0 | -- | 0 | Anupam Das 0002, Colin Riba. A Functional (Monadic) Second-Order Theory of Infinite Trees |
0 | -- | 0 | Jan Kretínský, Tobias Meggendorfer. Of Cores: A Partial-Exploration Framework for Markov Decision Processes |
0 | -- | 0 | Johannes Åman Pohjola. Psi-Calculi Revisited: Connectivity and Compositionality |
0 | -- | 0 | Flavio Corradini, Andrea Morichetta 0001, Andrea Polini, Barbara Re 0001, Francesco Tiezzi. Collaboration vs. choreography conformance in BPMN |
0 | -- | 0 | Olivier Carton, Luc Boasson. Transfinite Lyndon words |
0 | -- | 0 | Naoki Kobayashi 0001, Ugo Dal Lago, Charles Grellois. On the Termination Problem for Probabilistic Higher-Order Recursive Programs |
0 | -- | 0 | Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri. Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory |
0 | -- | 0 | Mathys Rennela. Convexity and Order in Probabilistic Call-by-Name FPC |
0 | -- | 0 | Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour. Life is Random, Time is Not: Markov Decision Processes with Window Objectives |