Erakusten 1 - 20 emaitzak -- 1.447 bilaketa honetara 'Logical Methods in Computer Science e.V.', Bilaketaren denbora: 1,31s Findu emaitzak
  1. 1
    Finite choice, convex choice and finding roots

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

    Argitaratua 2015-12-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  2. 2
    Unary negation

    Unary negation nork Luc Segoufin, Balder ten Cate

    Argitaratua 2013-09-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  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 nork Davide Basile, Maurice H. ter Beek, Rosario Pugliese

    Argitaratua 2020-06-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  4. 4
    Vector Addition System Reversible Reachability Problem

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

    Argitaratua 2013-02-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  5. 5
    Canonicity and homotopy canonicity for cubical type theory

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

    Argitaratua 2022-02-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  6. 6
    Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

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

    Argitaratua 2023-10-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  7. 7
    Reconfiguration and Message Losses in Parameterized Broadcast Networks

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

    Argitaratua 2021-03-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  8. 8
    Complexity theory for spaces of integrable functions

    Complexity theory for spaces of integrable functions nork Florian Steinberg

    Argitaratua 2017-09-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  9. 9
    Banach Spaces as Data Types

    Banach Spaces as Data Types nork Dag Normann

    Argitaratua 2011-05-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  10. 10
    Comparing hierarchies of total functionals

    Comparing hierarchies of total functionals nork Dag Normann

    Argitaratua 2005-10-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  11. 11
    Complexity of Problems of Commutative Grammars

    Complexity of Problems of Commutative Grammars nork Eryk Kopczynski

    Argitaratua 2015-03-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  12. 12
    On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

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

    Argitaratua 2012-09-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  13. 13
    Theory of higher order interpretations and application to Basic Feasible Functions

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

    Argitaratua 2020-12-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  14. 14
    Infinite Probabilistic Databases

    Infinite Probabilistic Databases nork Martin Grohe, Peter Lindner

    Argitaratua 2022-02-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  15. 15
    Generalised Mermin-type non-locality arguments

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

    Argitaratua 2019-04-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  16. 16
    Separators in Continuous Petri Nets

    Separators in Continuous Petri Nets nork Michael Blondin, Javier Esparza

    Argitaratua 2024-02-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  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 nork Dan Frumin, Robbert Krebbers, Lars Birkedal

    Argitaratua 2021-07-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  18. 18
    Guarded and Unguarded Iteration for Generalized Processes

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

    Argitaratua 2019-07-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  19. 19
    Complete Call-by-Value Calculi of Control Operators II: Strong Termination

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

    Argitaratua 2021-03-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua
  20. 20
    Reachability under Contextual Locking

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

    Argitaratua 2013-09-01
    “...Logical Methods in Computer Science e.V....”
    Testu osoa
    Artikulua

Bilaketa egiteko lanabesak: