0 | -- | 0 | Nobuko Yoshida, Kohei Honda, Martin Berger. Logical Reasoning for Higher-Order Functions with Local State |
0 | -- | 0 | Samuel R. Buss, Jan Hoffmann 0002, Jan Johannsen. Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning |
0 | -- | 0 | Kousha Etessami, Mihalis Yannakakis. Recursive Concurrent Stochastic Games |
0 | -- | 0 | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König. Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets |
0 | -- | 0 | Lutz Schröder. Bootstrapping Inductive and Coinductive Types in HasCASL |
0 | -- | 0 | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan. Characterising Testing Preorders for Finite Probabilistic Processes |
0 | -- | 0 | Benedikt Bollig. On the Expressive Power of 2-Stack Visibly Pushdown Automata |
0 | -- | 0 | Olivier Danvy, Kevin Millikin. A Rational Deconstruction of Landin s SECD Machine with the J Operator |
0 | -- | 0 | Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin. First-Order and Temporal Logics for Nested Words |
0 | -- | 0 | Matthew Hague, C.-H. Luke Ong. Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems |
0 | -- | 0 | Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca. Light Logics and the Call-by-Value Lambda Calculus |
0 | -- | 0 | Filip Murlak. The Wadge Hierarchy of Deterministic Tree Languages |
0 | -- | 0 | Viorica Sofronie-Stokkermans. Interpolation in Local Theory Extensions |
0 | -- | 0 | Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis. Multi-Objective Model Checking of Markov Decision Processes |
0 | -- | 0 | Clemens Kupke, Yde Venema. Coalgebraic Automata Theory: Basic Results |
0 | -- | 0 | Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen. Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations |
0 | -- | 0 | Chris Heunen. Compactly Accessible Categories and Quantum Key Distribution |