Showing 1 - 16 results of 16 for search '"Logical Methods in Computer Science"', query time: 0.14s Refine Results
  1. 1
    Checkpoint-based rollback recovery in session programming

    Checkpoint-based rollback recovery in session programming by Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida

    Published 2025-01-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Sum and Tensor of Quantitative Effects

    Sum and Tensor of Quantitative Effects by Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon Plotkin

    Published 2024-10-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder

    HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder by Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann

    Published 2025-01-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics

    Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics by Long Pham, Jan Hoffmann

    Published 2024-12-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces

    Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces by Matteo Mio, Ralph Sarkis, Valeria Vignudelli

    Published 2024-12-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries

    Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries by Diego Figueira, Rémi Morvan

    Published 2025-03-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints

    Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints by Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge

    Published 2024-12-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Constant-delay enumeration for SLP-compressed documents

    Constant-delay enumeration for SLP-compressed documents by Martín Muñoz, Cristian Riveros

    Published 2025-02-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    On the relative asymptotic expressivity of inference frameworks

    On the relative asymptotic expressivity of inference frameworks by Vera Koponen, Felix Weitkämper

    Published 2024-11-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Multi-Structural Games and Beyond

    Multi-Structural Games and Beyond by Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion Kolaitis, Jonathan Lenchner, Rik Sengupta

    Published 2024-12-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Regular Model Checking Upside-Down: An Invariant-Based Approach

    Regular Model Checking Upside-Down: An Invariant-Based Approach by Javier Esparza, Michael Raskin, Christoph Welzel-Mohr

    Published 2025-01-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Playing Stochastically in Weighted Timed Games to Emulate Memory

    Playing Stochastically in Weighted Timed Games to Emulate Memory by Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier

    Published 2025-02-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Categorifying computable reducibilities

    Categorifying computable reducibilities by Davide Trotta, Manlio Valenti, Valeria de Paiva

    Published 2025-02-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Proof complexity of positive branching programs

    Proof complexity of positive branching programs by Anupam Das, Avgerinos Delkos

    Published 2025-03-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    History-deterministic Timed Automata

    History-deterministic Timed Automata by Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke

    Published 2024-10-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity

    Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity by Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi

    Published 2025-01-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: