0 | -- | 0 | Florian Steinberg 0001, Laurent Théry, Holger Thies. Computable analysis and notions of continuity in Coq |
0 | -- | 0 | Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten. Interface Modeling for Quality and Resource Management |
0 | -- | 0 | Étienne André, Didier Lime, Mathias Ramparison. Parametric updates in parametric timed automata |
0 | -- | 0 | Tao Gu, Fabio Zanasi. Coalgebraic Semantics for Probabilistic Logic Programming |
0 | -- | 0 | Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann. Superposition for Lambda-Free Higher-Order Logic |
0 | -- | 0 | Sam Buss, Neil Thapen. DRAT and Propagation Redundancy Proofs Without New Variables |
0 | -- | 0 | Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski. Sculptures in Concurrency |
0 | -- | 0 | Daisuke Kimura, Makoto Tatsuta. Decidability for Entailments of Symbolic Heaps with Arrays |
0 | -- | 0 | Niccolò Veltri, Niels van der Weide. Constructing Higher Inductive Types as Groupoid Quotients |
0 | -- | 0 | Alexis Bès, Christian Choffrut. Theories of real addition with and without a predicate for integers |
0 | -- | 0 | Tatsuji Kawai. Predicative theories of continuous lattices |
0 | -- | 0 | Achim Blumensath. Algebraic Language Theory for Eilenberg-Moore Algebras |
0 | -- | 0 | John Fearnley, Martin Gairing, Matthias Mnich, Rahul Savani. Reachability Switching Games |
0 | -- | 0 | Rob van Glabbeek. Failure Trace Semantics for a Process Algebra with Time-outs |
0 | -- | 0 | Jörg Endrullis, Jan Willem Klop, Roy Overbeek. Star Games and Hydras |
0 | -- | 0 | Iosif Petrakis. Direct spectra of Bishop spaces and their limits |
0 | -- | 0 | Tomás Masopust, Markus Krötzsch. Partially Ordered Automata and Piecewise Testability |
0 | -- | 0 | Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev. LNL-FPC: The Linear/Non-linear Fixpoint Calculus |
0 | -- | 0 | Maria Emilia Maietti, Samuele Maschio, Michael Rathjen. A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice |
0 | -- | 0 | Jan Pachl, Pedro Sánchez Terraf. Semipullbacks of labelled Markov processes |
0 | -- | 0 | Jirí Adámek. Algebraic cocompleteness and finitary functors |
0 | -- | 0 | Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi. Presentable signatures and initial semantics |
0 | -- | 0 | Helmut Schwichtenberg, Franziskus Wiesnet. Logic for exact real arithmetic |
24 | -- | 0 | Ross Horne, Sjouke Mauw. Discovering ePassport Vulnerabilities using Bisimilarity |
25 | -- | 0 | Fer-Jan de Vries. Encoding many-valued logic in λ-calculus |