0 | -- | 0 | Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop. Edit Distance for Pushdown Automata |
0 | -- | 0 | Bruno Courcelle. Algebraic and logical descriptions of generalized trees |
0 | -- | 0 | Tatsuji Kawai. Localic completion of uniform spaces |
0 | -- | 0 | Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta. Tracing where IoT data are collected and aggregated |
0 | -- | 0 | Elie M. Adam, Munther A. Dahleh, Asuman E. Ozdaglar. Towards an Algebra for Cascade Effects |
0 | -- | 0 | Josef Berger, Helmut Schwichtenberg. A bound for Dickson's lemma |
0 | -- | 0 | Oleg V. Kudinov, Victor L. Selivanov. First Order Theories of Some Lattices of Open Sets |
0 | -- | 0 | Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel. Games and Strategies as Event Structures |
0 | -- | 0 | Natsuki Urabe, Ichiro Hasuo. Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective |
0 | -- | 0 | Bart Jacobs 0001. Hyper Normalisation and Conditioning for Discrete Probability Distributions |
0 | -- | 0 | Maria Manuel Clementino, Ignacio López Franco. Lax orthogonal factorisations in monad-quantale-enriched categories |
0 | -- | 0 | Marino Gran, Diana Rodelo, Idriss Tchoffo Nguefeu. Some remarks on connectors and groupoids in Goursat categories |
0 | -- | 0 | Karim Nour, Mohamad Ziadeh. A revised completeness result for the simply typed λμ-calculus using realizability semantics |
0 | -- | 0 | Cynthia Kop, Jakob Grue Simonsen. Complexity Hierarchies and Higher-order Cons-free Term Rewriting |
0 | -- | 0 | Yusuke Kawamoto 0001, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi. On the Compositionality of Quantitative Information Flow |
0 | -- | 0 | Pierre-Louis Curien, Samuel Mimram. Coherent Presentations of Monoidal Categories |
0 | -- | 0 | Florian Steinberg. Complexity theory for spaces of integrable functions |
0 | -- | 0 | Dmitriy Traytel. Formal Languages, Formally and Coinductively |
0 | -- | 0 | Michael Blondin, Alain Finkel, Pierre McKenzie. Well Behaved Transition Systems |
0 | -- | 0 | Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer. Improved Algorithms for Parity and Streett objectives |
0 | -- | 0 | Nelson Martins-Ferreira, Andrea Montoli, Manuela Sobral. On some categorical-algebraic conditions in S-protomodular categories |
0 | -- | 0 | Dirk Hofmann, Lurdes Sousa. Aspects of algebraic Algebras |
0 | -- | 0 | Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk. Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation |
0 | -- | 0 | Paul Brunet, Damien Pous. Petri Automata |
0 | -- | 0 | Thierry Coquand, Bassel Mannaa. The Independence of Markov's Principle in Type Theory |
0 | -- | 0 | Olivier Laurent. Focusing in Orthologic |
0 | -- | 0 | Péter Battyányi, Karim Nour. Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi |
0 | -- | 0 | Ivan Georgiev. Characterization theorem for the conditionally computable real functions |
0 | -- | 0 | Andrej Dudenhefner, Moritz Martens, Jakob Rehof. The Algebraic Intersection Type Unification Problem |
0 | -- | 0 | Franco Barbanera, Ugo de'Liguoro. Retractability, games and orchestrators for session contracts |
0 | -- | 0 | Francesco Ranzato. A new characterization of complete Heyting and co-Heyting algebras |
0 | -- | 0 | Shiguang Feng, Markus Lohrey, Karin Quaas. Path Checking for MTL and TPTL over Data Words |
0 | -- | 0 | Hongliang Lai, Walter Tholen. A Note on the Topologicity of Quantale-Valued Topological Spaces |
0 | -- | 0 | Alexander Weinert, Martin Zimmermann 0002. Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs |