検索結果 - "Logical Methods in Computer Science"

結果の絞り込み
  1. 1

    Logical Methods in Computer Science – Erfahrungsbericht über die Gründung einer internationalen Open-Access-Zeitschrift 著者: Wolfgang Thomas, Stefan Milius

    出版年 Library Ideas (2023-12-01)
    全文の入手
    論文


  2. 2

    Finite choice, convex choice and finding roots 著者: Stéphane Le Roux, Arno Pauly

    出版年 Logical Methods in Computer Science (2015-12-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  3. 3

    Decidability of One-Clock Weighted Timed Games with Arbitrary Weights 著者: Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier

    出版年 Logical Methods in Computer Science (2025-01-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  4. 4

    Unary negation 著者: Luc Segoufin, Balder ten Cate

    出版年 Logical Methods in Computer Science (2013-09-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  5. 5

    Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services 著者: Davide Basile, Maurice H. ter Beek, Rosario Pugliese

    出版年 Logical Methods in Computer Science (2020-06-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  6. 6

    MacroSwarm: A Field-based Compositional Framework for Swarm Programming 著者: Gianluca Aguzzi, Roberto Casadei, Mirko Viroli

    出版年 Logical Methods in Computer Science (2025-08-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  7. 7

    Vector Addition System Reversible Reachability Problem 著者: Jérôme Leroux

    出版年 Logical Methods in Computer Science (2013-02-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  8. 8

    Canonicity and homotopy canonicity for cubical type theory 著者: Thierry Coquand, Simon Huber, Christian Sattler

    出版年 Logical Methods in Computer Science (2022-02-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  9. 9

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

    出版年 Logical Methods in Computer Science (2023-10-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  10. 10

    Reconfiguration and Message Losses in Parameterized Broadcast Networks 著者: Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar

    出版年 Logical Methods in Computer Science (2021-03-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  11. 11

    Complexity theory for spaces of integrable functions 著者: Florian Steinberg

    出版年 Logical Methods in Computer Science (2017-09-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  12. 12

    Banach Spaces as Data Types 著者: Dag Normann

    出版年 Logical Methods in Computer Science (2011-05-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  13. 13

    Comparing hierarchies of total functionals 著者: Dag Normann

    出版年 Logical Methods in Computer Science (2005-10-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  14. 14

    Complexity of Problems of Commutative Grammars 著者: Eryk Kopczynski

    出版年 Logical Methods in Computer Science (2015-03-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  15. 15

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

    出版年 Logical Methods in Computer Science (2012-09-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  16. 16

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

    出版年 Logical Methods in Computer Science (2020-12-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  17. 17

    Infinite Probabilistic Databases 著者: Martin Grohe, Peter Lindner

    出版年 Logical Methods in Computer Science (2022-02-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  18. 18

    Generalised Mermin-type non-locality arguments 著者: Stefano Gogioso, William Zeng

    出版年 Logical Methods in Computer Science (2019-04-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  19. 19

    Separators in Continuous Petri Nets 著者: Michael Blondin, Javier Esparza

    出版年 Logical Methods in Computer Science (2024-02-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


  20. 20

    ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity 著者: Dan Frumin, Robbert Krebbers, Lars Birkedal

    出版年 Logical Methods in Computer Science (2021-07-01)
    雑誌名: “…Logical Methods in Computer Science…”
    全文の入手
    論文


検索ツール: