Showing 1 - 20 results of 1,460 for search 'Logical Methods in Computer Science ', query time: 0.40s Refine Results
  1. 1
    Computing probabilistic bisimilarity distances for probabilistic automata

    Computing probabilistic bisimilarity distances for probabilistic automata by Bacci, G, Bacci, G, Larsen, KG, Mardare, R, Tang, Q, van Breugel, F

    Published 2021
    “…Logical Methods in Computer Science…”
    Journal article
  2. 2
    Higher order automatic differentiation of higher order functions

    Higher order automatic differentiation of higher order functions by Huot, M, Staton, S, Vákár, M

    Published 2022
    “…Logical Methods in Computer Science…”
    Journal article
  3. 3
    A complete axiomisation for quantifier-free separation logic

    A complete axiomisation for quantifier-free separation logic by Demri, S, Lozes, E, Mansutti, A

    Published 2021
    “…Logical Methods in Computer Science…”
    Journal article
  4. 4
    Classical control, quantum circuits and linear logic in enriched category theory

    Classical control, quantum circuits and linear logic in enriched category theory by Rennela, M, Staton, S

    Published 2020
    “…Logical Methods in Computer Science…”
    Journal article
  5. 5
    Block structure vs scope extrusion: Between innocence and omniscience

    Block structure vs scope extrusion: Between innocence and omniscience by Murawski, A, Tzevelekos, N

    Published 2016
    “…Logical Methods in Computer Science…”
    Journal article
  6. 6
    Trace refinement in labelled Markov decision processes

    Trace refinement in labelled Markov decision processes by Fijalkow, N, Kiefer, S, Shirmohammadi, M

    Published 2020
    “…Logical Methods in Computer Science…”
    Journal article
  7. 7
    A categorical semantics for causal structure

    A categorical semantics for causal structure by Kissinger, A, Uijlen, S

    Published 2019
    “…Logical Methods in Computer Science …”
    Journal article
  8. 8
    The logical strength of Büchi's decidability theorem

    The logical strength of Büchi's decidability theorem by Kolodziejczyk, L, Michalewski, H, Pradic, P, Skrzypczak, M

    Published 2019
    “…Logical Methods in Computer Science…”
    Journal article
  9. 9
    Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory

    Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory by Benedikt, M, Pradic, C, Wernhard, C

    Published 2024
    “…Logical Methods in Computer Science…”
    Journal article
  10. 10
    Affine extensions of integer vector addition systems with states

    Affine extensions of integer vector addition systems with states by Blondin, M, Haase, C, Mazowiecki, F, Raskin, M

    Published 2021
    “…Logical Methods in Computer Science…”
    Journal article
  11. 11
    Nash equilibrium and bisimulation invariance

    Nash equilibrium and bisimulation invariance by Gutierrez, J, Harrenstein, B, Perelli, G, Wooldridge, M

    Published 2019
    “…Logical Methods in Computer Science…”
    Journal article
  12. 12
    Definability and interpolation within decidable fixpoint logics

    Definability and interpolation within decidable fixpoint logics by Benedikt, M, Bourhis, P, Vanden Boom, M

    Published 2019
    “…Logical Methods in Computer Science…”
    Journal article
  13. 13
    The big-O problem

    The big-O problem by Chistikov, D, Kiefer, SM, Murawski, AS, Purser, D

    Published 2022
    “…Logical Methods in Computer Science…”
    Journal article
  14. 14
    Finite choice, convex choice and finding roots

    Finite choice, convex choice and finding roots by Stéphane Le Roux, Arno Pauly

    Published 2015-12-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  15. 15
    Unary negation

    Unary negation by Luc Segoufin, Balder ten Cate

    Published 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  16. 16
    Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services

    Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services by Davide Basile, Maurice H. ter Beek, Rosario Pugliese

    Published 2020-06-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  17. 17
    Vector Addition System Reversible Reachability Problem

    Vector Addition System Reversible Reachability Problem by Jérôme Leroux

    Published 2013-02-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  18. 18
    Canonicity and homotopy canonicity for cubical type theory

    Canonicity and homotopy canonicity for cubical type theory by Thierry Coquand, Simon Huber, Christian Sattler

    Published 2022-02-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  19. 19
    Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

    Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) by Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

    Published 2023-10-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  20. 20
    Reconfiguration and Message Losses in Parameterized Broadcast Networks

    Reconfiguration and Message Losses in Parameterized Broadcast Networks by Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar

    Published 2021-03-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article

Search Tools: