Toon 1 - 20 resultaten van 1.447 Voor zoekopdracht 'Logical Methods in Computer Science e.V.', zoektijd: 2,12s Verfijn jouw resultaten
  1. 1
    Finite choice, convex choice and finding roots

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

    Gepubliceerd in 2015-12-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  2. 2
    Unary negation

    Unary negation door Luc Segoufin, Balder ten Cate

    Gepubliceerd in 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  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 door Davide Basile, Maurice H. ter Beek, Rosario Pugliese

    Gepubliceerd in 2020-06-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  4. 4
    Vector Addition System Reversible Reachability Problem

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

    Gepubliceerd in 2013-02-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  5. 5
    Canonicity and homotopy canonicity for cubical type theory

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

    Gepubliceerd in 2022-02-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  6. 6
    Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

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

    Gepubliceerd in 2023-10-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  7. 7
    Reconfiguration and Message Losses in Parameterized Broadcast Networks

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

    Gepubliceerd in 2021-03-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  8. 8
    Complexity theory for spaces of integrable functions

    Complexity theory for spaces of integrable functions door Florian Steinberg

    Gepubliceerd in 2017-09-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  9. 9
    Banach Spaces as Data Types

    Banach Spaces as Data Types door Dag Normann

    Gepubliceerd in 2011-05-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  10. 10
    Comparing hierarchies of total functionals

    Comparing hierarchies of total functionals door Dag Normann

    Gepubliceerd in 2005-10-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  11. 11
    Complexity of Problems of Commutative Grammars

    Complexity of Problems of Commutative Grammars door Eryk Kopczynski

    Gepubliceerd in 2015-03-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  12. 12
    On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

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

    Gepubliceerd in 2012-09-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  13. 13
    Theory of higher order interpretations and application to Basic Feasible Functions

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

    Gepubliceerd in 2020-12-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  14. 14
    Infinite Probabilistic Databases

    Infinite Probabilistic Databases door Martin Grohe, Peter Lindner

    Gepubliceerd in 2022-02-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  15. 15
    Generalised Mermin-type non-locality arguments

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

    Gepubliceerd in 2019-04-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  16. 16
    Separators in Continuous Petri Nets

    Separators in Continuous Petri Nets door Michael Blondin, Javier Esparza

    Gepubliceerd in 2024-02-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  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 door Dan Frumin, Robbert Krebbers, Lars Birkedal

    Gepubliceerd in 2021-07-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  18. 18
    Guarded and Unguarded Iteration for Generalized Processes

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

    Gepubliceerd in 2019-07-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  19. 19
    Complete Call-by-Value Calculi of Control Operators II: Strong Termination

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

    Gepubliceerd in 2021-03-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel
  20. 20
    Reachability under Contextual Locking

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

    Gepubliceerd in 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    Volledige tekst
    Artikel

Zoekinstrumenten: