Εμφανίζονται 1 - 20 Αποτελέσματα από 1.447 για την αναζήτηση 'Logical Methods in Computer Science e.V.', χρόνος αναζήτησης: 5,31δλ Περιορισμός αποτελεσμάτων
  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.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  2. 2
    Unary negation

    Unary negation ανά Luc Segoufin, Balder ten Cate

    Έκδοση 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  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.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  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.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  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.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  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.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  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.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  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.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  9. 9
    Banach Spaces as Data Types

    Banach Spaces as Data Types ανά Dag Normann

    Έκδοση 2011-05-01
    “…Logical Methods in Computer Science e.V.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  10. 10
    Comparing hierarchies of total functionals

    Comparing hierarchies of total functionals ανά Dag Normann

    Έκδοση 2005-10-01
    “…Logical Methods in Computer Science e.V.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  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.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  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.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  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.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  14. 14
    Infinite Probabilistic Databases

    Infinite Probabilistic Databases ανά Martin Grohe, Peter Lindner

    Έκδοση 2022-02-01
    “…Logical Methods in Computer Science e.V.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  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.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  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.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  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.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  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.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  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.…”
    Λήψη πλήρους κειμένου
    Άρθρο
  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.…”
    Λήψη πλήρους κειμένου
    Άρθρο

Εργαλεία αναζήτησης: