検索結果 1 - 20 結果 / 1,447 検索語 'Logical Methods in Computer Science e.V.', 処理時間: 1.84秒 結果の絞り込み
  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.…”
    全文の入手
    論文

検索ツール: