0 | -- | 0 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo. A Load-Buffer Semantics for Total Store Ordering |
0 | -- | 0 | Krzysztof Bar, Aleks Kissinger, Jamie Vicary. Globular: an online proof assistant for higher-dimensional rewriting |
0 | -- | 0 | Gaëlle Fontaine, Yde Venema. Some model theory for the modal μ-calculus: syntactic characterisations of semantic properties |
0 | -- | 0 | Rolf Hennicker, Michel Bidoit. Compatibility Properties of Synchronously and Asynchronously Communicating Components |
0 | -- | 0 | Matthew de Brecht. A generalization of a theorem of Hurewicz for quasi-Polish spaces |
0 | -- | 0 | Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro. Intersection Types for the lambda-mu Calculus |
0 | -- | 0 | Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva 0001. Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic |
0 | -- | 0 | Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder. Model Theory and Proof Theory of Coalgebraic Predicate Logic |
0 | -- | 0 | Harsh Beohar, Barbara König 0001, Sebastian Küpper, Alexandra Silva 0001, Thorsten Wißmann. A coalgebraic treatment of conditional transition systems with upgrades |
0 | -- | 0 | Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof. Mixin Composition Synthesis based on Intersection Types |
0 | -- | 0 | Richard Garner, John Power. An enriched view on the extended finitary monad-Lawvere theory correspondence |
0 | -- | 0 | Alexander Rabinovich. A Proof of Stavi's Theorem |
0 | -- | 0 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu. Mending Fences with Self-Invalidation and Self-Downgrade |
0 | -- | 0 | Dariusz Biernacki, Piotr Polesiuk. Logical relations for coherence of effect subtyping |
0 | -- | 0 | Denisa Diaconescu, George Metcalfe, Laura Schnüriger. A Real-Valued Modal Logic |
0 | -- | 0 | Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann. Dynamic Causality in Event Structures |
0 | -- | 0 | Nick Benton, Martin Hofmann 0001, Vivek Nigam. Proof-Relevant Logical Relations for Name Generation |
0 | -- | 0 | Dana Angluin, Udi Boker, Dana Fisman. Families of DFAs as Acceptors of ω-Regular Languages |
0 | -- | 0 | Thomas Hanneforth, Andreas Maletti, Daniel Quernheim. Pushing for weighted tree automata |
0 | -- | 0 | Manfred Droste, Werner Kuich. Weighted omega-Restricted One Counter Automata |
0 | -- | 0 | Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi. The Ho-Zhao Problem |
0 | -- | 0 | Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz. Soundness in negotiations |
0 | -- | 0 | Dag Normann. n→ι form a dcpo for all n ∈ N |
0 | -- | 0 | Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni. Automated Synthesis of Distributed Self-Stabilizing Protocols |
0 | -- | 0 | Olivier Carton, Dominique Perrin, Jean-Éric Pin. A survey on difference hierarchies of regular languages |