0 | -- | 0 | Ludwig Staiger. On the incomputability of computable dimension |
0 | -- | 0 | Michael Blondin, Alain Finkel, Jean Goubault-Larrecq. Forward Analysis for WSTS, Part III: Karp-Miller Trees |
0 | -- | 0 | Willem Conradie, Salih Durhan, Guido Sciavicco. An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II) |
0 | -- | 0 | Mirai Ikebuchi, Keisuke Nakano. On properties of B-terms |
0 | -- | 0 | Amir M. Ben-Amram, Geoff W. Hamilton. Tight Polynomial Worst-Case Bounds for Loop Programs |
0 | -- | 0 | Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi. Trace Refinement in Labelled Markov Decision Processes |
0 | -- | 0 | Davide Basile, Maurice H. ter Beek, Rosario Pugliese. Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services |
0 | -- | 0 | Andreas Abel 0001, Thierry Coquand. Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality |
0 | -- | 0 | G. Michele Pinna. Representing Dependencies in Event Structures |
0 | -- | 0 | Ulrik Buchholtz, Kuen-Bang Hou. Cellular Cohomology in Homotopy Type Theory |
0 | -- | 0 | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. Completeness of the ZX-Calculus |
0 | -- | 0 | Merlin Carl, Benjamin G. Rin, Philipp Schlicht. Reachability for infinite time Turing machines with long tapes |
0 | -- | 0 | Jan Bydzovsky, Jan Krajícek, Igor Carboni Oliveira. Consistency of circuit lower bounds with bounded theories |
0 | -- | 0 | Karoliina Lehtinen, Udi Boker. Register Games |