0 | -- | 0 | Mikolaj Bojanczyk, Martin Grohe, Michal Pilipczuk. Definable decompositions for graphs of bounded linear cliquewidth |
0 | -- | 0 | Ryu Hasegawa. Complete Call-by-Value Calculi of Control Operators II: Strong Termination |
0 | -- | 0 | Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba. Stubborn Set Reduction for Two-Player Reachability Games |
0 | -- | 0 | Cristian Ene, Laurent Mounier, Marie-Laure Potet. Output-sensitive Information flow analysis |
0 | -- | 0 | Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier. Synthesis of Data Word Transducers |
0 | -- | 0 | Bin Wang 0061, Jun Shen, Shutao Zhang, Zhizheng Zhang. On the Strong Equivalences for LPMLN Programs |
0 | -- | 0 | Milad Aghajohari, Guy Avni, Thomas A. Henzinger. Determinacy in Discrete-Bidding Infinite-Duration Games |
0 | -- | 0 | Bas Luttik, Fei Yang. The π-Calculus is Behaviourally Complete and Orbit-Finitely Executable |
0 | -- | 0 | Dirk Pattinson, Mina Mohammadian. Constructive Domains with Classical Witnesses |
0 | -- | 0 | Daniel Carranza, Jonathan Chang, Chris Kapulkin, Ryan Sandford. 2-adjoint equivalences in homotopy type theory |
0 | -- | 0 | Bruno Courcelle. Axiomatization of betweenness in order-theoretic trees |
0 | -- | 0 | Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse. Correct and Efficient Antichain Algorithms for Refinement Checking |
0 | -- | 0 | Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca. Solvability = Typability + Inhabitation |
0 | -- | 0 | Assia Mahboubi, Thomas Sibut-Pinote. A Formal Proof of the Irrationality of ζ(3) |
0 | -- | 0 | Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare, Qiyi Tang 0001, Franck van Breugel. Computing Probabilistic Bisimilarity Distances for Probabilistic Automata |
0 | -- | 0 | Jan A. Bergstra, Alban Ponse. Datatype defining rewrite systems for naturals and integers |
0 | -- | 0 | Siddharth Bhaskar, Alex Kruckman. Tameness in least fixed-point logic and McColm's conjecture |
0 | -- | 0 | Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro. A Sound Algorithm for Asynchronous Session Subtyping and its Implementation |
0 | -- | 0 | Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea. Robustness Against Transactional Causal Consistency |
0 | -- | 0 | Brijesh Dongol, Ian J. Hayes, Georg Struth. Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras |
0 | -- | 0 | Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber. Modal Logics for Nominal Transition Systems |
0 | -- | 0 | Nathalie Bertrand 0001, Patricia Bouyer, Anirban Majumdar 0002. Reconfiguration and Message Losses in Parameterized Broadcast Networks |
0 | -- | 0 | Mario Bravetti. Axiomatizing Maximal Progress and Discrete Time |