0 | -- | 0 | Herman Geuvers, Bart Jacobs 0001. Relating Apartness and Bisimulation |
0 | -- | 0 | Carlos Areces, Raul Fervari. Axiomatizing Hybrid XPath with Data |
0 | -- | 0 | Jakub Michaliszyn, Jan Otop, Piotr Wieczorek. Modular Path Queries with Arithmetic |
0 | -- | 0 | Michael Blondin, Mikhail A. Raskin. The Complexity of Reachability in Affine Vector Addition Systems with States |
0 | -- | 0 | Matthias Hoelzel, Richard Wilke. On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics |
0 | -- | 0 | Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva 0001, Fabio Zanasi. Equivalence checking for weak bi-Kleene algebra |
0 | -- | 0 | Philipp Hieronymi, Danny Nguyen, Igor Pak. Presburger Arithmetic with algebraic scalar multiplications |
0 | -- | 0 | Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay. Cartesian Difference Categories |
0 | -- | 0 | Stéphane Demri, Étienne Lozes, Alessio Mansutti. A Complete Axiomatisation for Quantifier-Free Separation Logic |
0 | -- | 0 | Jean-Louis Krivine. A program for the full axiom of choice |
0 | -- | 0 | Rod Downey, Alexander G. Melnikov, Keng Meng Ng. Foundations of Online Structure Theory II: The Operator Approach |
0 | -- | 0 | Jacopo Emmenegger. W-types in setoids |
0 | -- | 0 | Thomas Neele, Antti Valmari, Tim A. C. Willemse. A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction |
0 | -- | 0 | Ester Livshits, Leopoldo E. Bertossi, Benny Kimelfeld, Moshe Sebag. The Shapley Value of Tuples in Query Answering |
0 | -- | 0 | Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal. Multimodal Dependent Type Theory |
0 | -- | 0 | Jean-Marie Madiot, Damien Pous, Davide Sangiorgi. Modular coinduction up-to for higher-order languages via first-order transition systems |
0 | -- | 0 | Pierre Hyvernat. Representing Continuous Functions between Greatest Fixed Points of Indexed Containers |
0 | -- | 0 | Ki Yung Ahn, Ross Horne, Alwen Tiu. A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic |
0 | -- | 0 | Julien Grange. Successor-Invariant First-Order Logic on Classes of Bounded Degree |
0 | -- | 0 | Victor Marsault. On p/q-recognisable sets |
0 | -- | 0 | Michael Blondin, Christoph Haase, Filip Mazowiecki, Mikhail A. Raskin. Affine Extensions of Integer Vector Addition Systems with States |
0 | -- | 0 | Eike Neumann. Decision problems for linear recurrences involving arbitrary real numbers |
0 | -- | 0 | Alexander Rabinovich, Doron Tiferet. Ambiguity Hierarchy of Regular Infinite Tree Languages |
0 | -- | 0 | Thomas Place, Marc Zeitoun. Separation for dot-depth two |
0 | -- | 0 | Filippo Bonchi, Alexandra Silva 0001, Ana Sokolova. Distribution Bisimilarity via the Power of Convex Algebras |
0 | -- | 0 | Dan Frumin, Robbert Krebbers, Lars Birkedal. ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity |
0 | -- | 0 | Adam Shimi, Aurélie Hurault, Philippe Quéinnec. Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models |
0 | -- | 0 | Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl, Cristian Riveros. Pumping lemmas for weighted automata |