Showing 1 - 20 results of 1,447 for search 'Logical Methods in Computer Science e.V.', זמן שאילתה: 1.22s Refine Results
  1. 1
    Finite choice, convex choice and finding roots

    Finite choice, convex choice and finding roots מאת Stéphane Le Roux, Arno Pauly

    יצא לאור 2015-12-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  2. 2
    Unary negation

    Unary negation מאת Luc Segoufin, Balder ten Cate

    יצא לאור 2013-09-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  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 מאת Davide Basile, Maurice H. ter Beek, Rosario Pugliese

    יצא לאור 2020-06-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  4. 4
    Vector Addition System Reversible Reachability Problem

    Vector Addition System Reversible Reachability Problem מאת Jérôme Leroux

    יצא לאור 2013-02-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  5. 5
    Canonicity and homotopy canonicity for cubical type theory

    Canonicity and homotopy canonicity for cubical type theory מאת Thierry Coquand, Simon Huber, Christian Sattler

    יצא לאור 2022-02-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  6. 6
    Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

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

    יצא לאור 2023-10-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  7. 7
    Reconfiguration and Message Losses in Parameterized Broadcast Networks

    Reconfiguration and Message Losses in Parameterized Broadcast Networks מאת Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar

    יצא לאור 2021-03-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  8. 8
    Complexity theory for spaces of integrable functions

    Complexity theory for spaces of integrable functions מאת Florian Steinberg

    יצא לאור 2017-09-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  9. 9
    Banach Spaces as Data Types

    Banach Spaces as Data Types מאת Dag Normann

    יצא לאור 2011-05-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  10. 10
    Comparing hierarchies of total functionals

    Comparing hierarchies of total functionals מאת Dag Normann

    יצא לאור 2005-10-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  11. 11
    Complexity of Problems of Commutative Grammars

    Complexity of Problems of Commutative Grammars מאת Eryk Kopczynski

    יצא לאור 2015-03-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  12. 12
    On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

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

    יצא לאור 2012-09-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  13. 13
    Theory of higher order interpretations and application to Basic Feasible Functions

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

    יצא לאור 2020-12-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  14. 14
    Infinite Probabilistic Databases

    Infinite Probabilistic Databases מאת Martin Grohe, Peter Lindner

    יצא לאור 2022-02-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  15. 15
    Generalised Mermin-type non-locality arguments

    Generalised Mermin-type non-locality arguments מאת Stefano Gogioso, William Zeng

    יצא לאור 2019-04-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  16. 16
    Separators in Continuous Petri Nets

    Separators in Continuous Petri Nets מאת Michael Blondin, Javier Esparza

    יצא לאור 2024-02-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  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 מאת Dan Frumin, Robbert Krebbers, Lars Birkedal

    יצא לאור 2021-07-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  18. 18
    Guarded and Unguarded Iteration for Generalized Processes

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

    יצא לאור 2019-07-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  19. 19
    Complete Call-by-Value Calculi of Control Operators II: Strong Termination

    Complete Call-by-Value Calculi of Control Operators II: Strong Termination מאת Ryu Hasegawa

    יצא לאור 2021-03-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article
  20. 20
    Reachability under Contextual Locking

    Reachability under Contextual Locking מאת Remi Bonnet, Rohit Chadha, Mahesh Viswanathan, P. Madhusudan

    יצא לאור 2013-09-01
    "...Logical Methods in Computer Science e.V...."
    קבל טקסט מלא
    Article

כלי חיפוש: