Čájehuvvojit 1 - 20 oktiibuot 1 447 bohtosis ohcui Logical Methods in Computer Science e.V.', ohcanáigi: 1,19s Aiddostahte ozu
  1. 1
    Finite choice, convex choice and finding roots

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

    Almmustuhtton 2015-12-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  2. 2
    Unary negation

    Unary negation Dahkki Luc Segoufin, Balder ten Cate

    Almmustuhtton 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  3. 3
    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 Dahkki Davide Basile, Maurice H. ter Beek, Rosario Pugliese

    Almmustuhtton 2020-06-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  4. 4
    Vector Addition System Reversible Reachability Problem

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

    Almmustuhtton 2013-02-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  5. 5
    Canonicity and homotopy canonicity for cubical type theory

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

    Almmustuhtton 2022-02-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  6. 6
    Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

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

    Almmustuhtton 2023-10-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  7. 7
    Reconfiguration and Message Losses in Parameterized Broadcast Networks

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

    Almmustuhtton 2021-03-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  8. 8
    Complexity theory for spaces of integrable functions

    Complexity theory for spaces of integrable functions Dahkki Florian Steinberg

    Almmustuhtton 2017-09-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  9. 9
    Banach Spaces as Data Types

    Banach Spaces as Data Types Dahkki Dag Normann

    Almmustuhtton 2011-05-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  10. 10
    Comparing hierarchies of total functionals

    Comparing hierarchies of total functionals Dahkki Dag Normann

    Almmustuhtton 2005-10-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  11. 11
    Complexity of Problems of Commutative Grammars

    Complexity of Problems of Commutative Grammars Dahkki Eryk Kopczynski

    Almmustuhtton 2015-03-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  12. 12
    On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

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

    Almmustuhtton 2012-09-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  13. 13
    Theory of higher order interpretations and application to Basic Feasible Functions

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

    Almmustuhtton 2020-12-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  14. 14
    Infinite Probabilistic Databases

    Infinite Probabilistic Databases Dahkki Martin Grohe, Peter Lindner

    Almmustuhtton 2022-02-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  15. 15
    Generalised Mermin-type non-locality arguments

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

    Almmustuhtton 2019-04-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  16. 16
    Separators in Continuous Petri Nets

    Separators in Continuous Petri Nets Dahkki Michael Blondin, Javier Esparza

    Almmustuhtton 2024-02-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  17. 17
    ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity

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

    Almmustuhtton 2021-07-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  18. 18
    Guarded and Unguarded Iteration for Generalized Processes

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

    Almmustuhtton 2019-07-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  19. 19
    Complete Call-by-Value Calculi of Control Operators II: Strong Termination

    Complete Call-by-Value Calculi of Control Operators II: Strong Termination Dahkki Ryu Hasegawa

    Almmustuhtton 2021-03-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal
  20. 20
    Reachability under Contextual Locking

    Reachability under Contextual Locking Dahkki Remi Bonnet, Rohit Chadha, Mahesh Viswanathan, P. Madhusudan

    Almmustuhtton 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    Viečča ollesdeavstta
    Artihkal

Ohcanreaiddut: