يعرض 1 - 20 نتائج من 1,447 نتيجة بحث عن 'Logical Methods in Computer Science e.V.', وقت الاستعلام: 0.57s تنقيح النتائج
  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.…"
    احصل على النص الكامل
    مقال

أدوات البحث: