Abstract is missing.
- Universal Graphs and Good for Games Automata: New Tools for Infinite Duration GamesThomas Colcombet, Nathanaël Fijalkow. 1-26 [doi]
- Resource-Tracking Concurrent GamesAurore Alcolei, Pierre Clairambault, Olivier Laurent. 27-44 [doi]
- Change Actions: Models of Generalised DifferentiationMario Alvarez-Picallo, C.-H. Luke Ong. 45-61 [doi]
- Coalgebra Learning via DualitySimone Barlocco, Clemens Kupke, Jurriaan Rot. 62-79 [doi]
- Tight Worst-Case Bounds for Polynomial Loop ProgramsAmir M. Ben-Amram, Geoff W. Hamilton. 80-97 [doi]
- A Complete Normal-Form Bisimilarity for StateDariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk. 98-114 [doi]
- Identifiers in Registers - Describing Network Algorithms with LogicBenedikt Bollig, Patricia Bouyer, Fabian Reiter. 115-132 [doi]
- The Impatient May Use Limited Optimism to Minimize RegretMichaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard. 133-149 [doi]
- Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment)Simon Castellan, Nobuko Yoshida. 150-168 [doi]
- Rewriting Abstract Structures: Materialization Explained CategoricallyAndrea Corradini, Tobias Heindel, Barbara König 0001, Dennis Nolte, Arend Rensink. 169-188 [doi]
- Two-Way Parikh Automata with a Visibly Pushdown StackLuc Dartois, Emmanuel Filiot, Jean-Marc Talbot. 189-206 [doi]
- Kleene Algebra with HypothesesAmina Doumane, Denis Kuperberg, Damien Pous, Pierre Pradic. 207-223 [doi]
- Trees in Partial Higher Dimensional AutomataJérémy Dubut. 224-241 [doi]
- The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary DomainsMnacho Echenim, Radu Iosif, Nicolas Peltier. 242-259 [doi]
- Continuous Reachability for Unordered Data Petri Nets is in PTimeUtkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman. 260-276 [doi]
- Optimal Satisfiability Checking for Arithmetic \mu -CalculiDaniel Hausmann, Lutz Schröder. 277-294 [doi]
- Constructing Inductive-Inductive Types in Cubical Type TheoryJasper Hugunin. 295-312 [doi]
- Causal Inference by String Diagram SurgeryBart Jacobs 0001, Aleks Kissinger, Fabio Zanasi. 313-329 [doi]
- Higher-Order Distributions for Differential Linear LogicMarie Kerjean, Jean-Simon Pacaud Lemay. 330-347 [doi]
- Languages Ordered by the Subword OrderDietrich Kuske, Georg Zetzsche. 348-364 [doi]
- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence SpacesThomas Leventis, Michele Pagani. 365-381 [doi]
- A Sound and Complete Logic for Algebraic EffectsCristina Matache, Sam Staton. 382-399 [doi]
- Equational Axiomatization of Algebras with StructureStefan Milius, Henning Urbat. 400-417 [doi]
- Towards a Structural Proof Theory of Probabilistic \mu -CalculiChristophe Lucas, Matteo Mio. 418-435 [doi]
- Partial and Conditional Expectations in Markov Decision Processes with Integer WeightsJakob Piribauer, Christel Baier. 436-452 [doi]
- Equational Theories and Monads from Polynomial Cayley RepresentationsMaciej Piróg, Piotr Polesiuk, Filip Sieczkowski. 453-469 [doi]
- A Dialectica-Like Interpretation of a Linear MSO on Infinite WordsPierre Pradic, Colin Riba. 470-487 [doi]
- Deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial TimeHelmut Seidl, Raphaela Palenta, Sebastian Maneth. 488-504 [doi]
- Justness - A Completeness Criterion for Capturing Liveness Properties (Extended Abstract)Rob van Glabbeek. 505-522 [doi]
- Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic BranchingThorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo. 523-540 [doi]