- On the Semantics of Cypher Implicit Group-by Filip Murlak Jan Posiadała Paweł Susicki Fri 21 June 2019
- Two-Way Parikh Automata with a Visibly Pushdown Stack Luc Dartois Emmanuel Filiot Jean-Marc Talbot Thu 20 June 2019
- Coverability and Termination in Recursive Petri Nets Alain Finkel Serge Haddad Igor Khmelnitsky Thu 20 June 2019
- Higher Dimensional Automata Revisited Vaughan Pratt Wed 19 June 2019
- On the expressiveness of higher dimensional automata R.J. van Glabbeek Wed 19 June 2019
- On the decidability of metric temporal logic J. Ouaknine J. Worrell Wed 19 June 2019
- Parity Games with Weights Sven Schewe Alexander Weinert Martin Zimmermann Wed 19 June 2019
- The Mathematical Specification of the Statebox Language Statebox Team Fabrizio Genovese Wed 19 June 2019
- Regular tree languages in low levels of the Wadge Hierarchy Mikołaj Bojańczyk Filippo Cavallari Thomas Place Michał Skrzypczak Tue 18 June 2019
- Action-Sensitive Phonological Dependencies Yiding Hao Dustin Bowers Tue 18 June 2019
- Coverability is Undecidable in One-dimensional Pushdown Vector Addition Systems with Resets Sylvain Schmitz Georg Zetzsche Tue 18 June 2019
- Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence Petr Jancar Wed 12 June 2019
- Reachability for Bounded Branching VASS Filip Mazowiecki Michał Pilipczuk Wed 12 June 2019
- Views: A Way for Pattern Matching to Cohabit with Data Abstraction Philip Wadler Wed 12 June 2019
- Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems Lorenzo Clemente Sławomir Lasota Ranko Lazić Filip Mazowiecki Wed 12 June 2019
- Dijkstra Monads for All Kenji Maillard Danel Ahman Robert Atkey Guido Martinez Catalin Hritcu Exequiel Rivas Éric Tanter Fri 07 June 2019
- Equivalence of finite-valued streaming string transducers is decidable Anca Muscholl Gabriele Puppis Fri 07 June 2019
- The Many Facets of String Transducers (Invited Talk) Anca Muscholl Gabriele Puppis Fri 07 June 2019
- Definability and Interpolation within Decidable Fixpoint Logics Michael Benedikt Pierre Bourhis Michael Vanden Boom Fri 07 June 2019
- Separation and Renaming in Nominal Sets Joshua Moerman Jurriaan Rot Fri 07 June 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
