Đang hiển thị 1 - 20 kết quả của 1,447 cho tìm kiếm 'Logical Methods in Computer Science e.V.', thời gian truy vấn: 1.25s Tinh chỉnh kết quả
  1. 1
    Finite choice, convex choice and finding roots

    Finite choice, convex choice and finding roots Bằng Stéphane Le Roux, Arno Pauly

    Được phát hành 2015-12-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  2. 2
    Unary negation

    Unary negation Bằng Luc Segoufin, Balder ten Cate

    Được phát hành 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  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 Bằng Davide Basile, Maurice H. ter Beek, Rosario Pugliese

    Được phát hành 2020-06-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  4. 4
    Vector Addition System Reversible Reachability Problem

    Vector Addition System Reversible Reachability Problem Bằng Jérôme Leroux

    Được phát hành 2013-02-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  5. 5
    Canonicity and homotopy canonicity for cubical type theory

    Canonicity and homotopy canonicity for cubical type theory Bằng Thierry Coquand, Simon Huber, Christian Sattler

    Được phát hành 2022-02-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  6. 6
    Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

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

    Được phát hành 2023-10-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  7. 7
    Reconfiguration and Message Losses in Parameterized Broadcast Networks

    Reconfiguration and Message Losses in Parameterized Broadcast Networks Bằng Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar

    Được phát hành 2021-03-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  8. 8
    Complexity theory for spaces of integrable functions

    Complexity theory for spaces of integrable functions Bằng Florian Steinberg

    Được phát hành 2017-09-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  9. 9
    Banach Spaces as Data Types

    Banach Spaces as Data Types Bằng Dag Normann

    Được phát hành 2011-05-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  10. 10
    Comparing hierarchies of total functionals

    Comparing hierarchies of total functionals Bằng Dag Normann

    Được phát hành 2005-10-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  11. 11
    Complexity of Problems of Commutative Grammars

    Complexity of Problems of Commutative Grammars Bằng Eryk Kopczynski

    Được phát hành 2015-03-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  12. 12
    On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

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

    Được phát hành 2012-09-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  13. 13
    Theory of higher order interpretations and application to Basic Feasible Functions

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

    Được phát hành 2020-12-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  14. 14
    Infinite Probabilistic Databases

    Infinite Probabilistic Databases Bằng Martin Grohe, Peter Lindner

    Được phát hành 2022-02-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  15. 15
    Generalised Mermin-type non-locality arguments

    Generalised Mermin-type non-locality arguments Bằng Stefano Gogioso, William Zeng

    Được phát hành 2019-04-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  16. 16
    Separators in Continuous Petri Nets

    Separators in Continuous Petri Nets Bằng Michael Blondin, Javier Esparza

    Được phát hành 2024-02-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  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 Bằng Dan Frumin, Robbert Krebbers, Lars Birkedal

    Được phát hành 2021-07-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  18. 18
    Guarded and Unguarded Iteration for Generalized Processes

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

    Được phát hành 2019-07-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  19. 19
    Complete Call-by-Value Calculi of Control Operators II: Strong Termination

    Complete Call-by-Value Calculi of Control Operators II: Strong Termination Bằng Ryu Hasegawa

    Được phát hành 2021-03-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết
  20. 20
    Reachability under Contextual Locking

    Reachability under Contextual Locking Bằng Remi Bonnet, Rohit Chadha, Mahesh Viswanathan, P. Madhusudan

    Được phát hành 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    lấy văn bản
    Bài viết

Công cụ tìm kiếm: