Search Results - Logical Methods in Computer Science e.V.

Refine Results
  1. 1

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

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


  2. 2

    Decidability of One-Clock Weighted Timed Games with Arbitrary Weights by Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier

    Published in Logical Methods in Computer Science (2025-01-01)
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article


  3. 3

    Unary negation by Luc Segoufin, Balder ten Cate

    Published in Logical Methods in Computer Science (2013-09-01)
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article


  4. 4

    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 in Logical Methods in Computer Science (2020-06-01)
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article


  5. 5

    MacroSwarm: A Field-based Compositional Framework for Swarm Programming by Gianluca Aguzzi, Roberto Casadei, Mirko Viroli

    Published in Logical Methods in Computer Science (2025-08-01)
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article


  6. 6

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

    Published in Logical Methods in Computer Science (2013-02-01)
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article


  7. 7

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

    Published in Logical Methods in Computer Science (2022-02-01)
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article


  8. 8

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

    Published in Logical Methods in Computer Science (2023-10-01)
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article


  9. 9

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

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


  10. 10

    Complexity theory for spaces of integrable functions by Florian Steinberg

    Published in Logical Methods in Computer Science (2017-09-01)
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article


  11. 11

    Banach Spaces as Data Types by Dag Normann

    Published in Logical Methods in Computer Science (2011-05-01)
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article


  12. 12

    Comparing hierarchies of total functionals by Dag Normann

    Published in Logical Methods in Computer Science (2005-10-01)
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article


  13. 13

    Complexity of Problems of Commutative Grammars by Eryk Kopczynski

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


  14. 14

    On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction by Barnaby Martin, Manuel Bodirsky, Martin Hils

    Published in Logical Methods in Computer Science (2012-09-01)
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article


  15. 15

    Theory of higher order interpretations and application to Basic Feasible Functions by Emmanuel Hainry, Romain Péchoux

    Published in Logical Methods in Computer Science (2020-12-01)
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article


  16. 16

    Infinite Probabilistic Databases by Martin Grohe, Peter Lindner

    Published in Logical Methods in Computer Science (2022-02-01)
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article


  17. 17

    Generalised Mermin-type non-locality arguments by Stefano Gogioso, William Zeng

    Published in Logical Methods in Computer Science (2019-04-01)
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article


  18. 18

    Separators in Continuous Petri Nets by Michael Blondin, Javier Esparza

    Published in Logical Methods in Computer Science (2024-02-01)
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article


  19. 19

    ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity by Dan Frumin, Robbert Krebbers, Lars Birkedal

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


  20. 20

    Guarded and Unguarded Iteration for Generalized Processes by Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg

    Published in Logical Methods in Computer Science (2019-07-01)
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article


Search Tools: