Showing 121 - 140 results of 1,447 for search 'Logical Methods in Computer Science e.V.', सवाल का समय: 1.25सेकंड परिणाम को परिष्कृत करें
  1. 121
    On Resolving Non-determinism in Choreographies

    On Resolving Non-determinism in Choreographies द्वारा Laura Bocchi, Hernan Melgratti, Emilio Tuosto

    प्रकाशित 2020-09-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  2. 122
    Distributed Asynchronous Games With Causal Memory are Undecidable

    Distributed Asynchronous Games With Causal Memory are Undecidable द्वारा Hugo Gimbert

    प्रकाशित 2022-09-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  3. 123
    Ranking Templates for Linear Loops

    Ranking Templates for Linear Loops द्वारा Jan Leike, Matthias Heizmann

    प्रकाशित 2015-03-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  4. 124
    A Static Analysis Framework for Livelock Freedom in CSP

    A Static Analysis Framework for Livelock Freedom in CSP द्वारा Joel Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell

    प्रकाशित 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  5. 125
    Security Policies as Membranes in Systems for Global Computing

    Security Policies as Membranes in Systems for Global Computing द्वारा Daniele Gorla, Matthew Hennessy, Vladimiro Sassone

    प्रकाशित 2005-12-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  6. 126
    A Universal Ordinary Differential Equation

    A Universal Ordinary Differential Equation द्वारा Olivier Bournez, Amaury Pouly

    प्रकाशित 2020-02-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  7. 127
    Monoidal Width

    Monoidal Width द्वारा Elena Di Lavore, Paweł Sobociński

    प्रकाशित 2023-09-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  8. 128
    A topological interpretation of three Leibnizian principles within the functional extensions

    A topological interpretation of three Leibnizian principles within the functional extensions द्वारा Marco Forti

    प्रकाशित 2018-07-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  9. 129
    Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?

    Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? द्वारा Nadia Creignou, Reinhard Pichler, Stefan Woltran

    प्रकाशित 2018-10-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  10. 130
    Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi

    Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi द्वारा Jose Espirito Santo, Ralph Matthes, Luis Pinto

    प्रकाशित 2009-05-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  11. 131
    A Session Type System for Asynchronous Unreliable Broadcast Communication

    A Session Type System for Asynchronous Unreliable Broadcast Communication द्वारा Dimitrios Kouzapas, Ramunas Forsberg Gutkovas, A. Laura Voinea, Simon J. Gay

    प्रकाशित 2024-08-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  12. 132
    A categorical framework for congruence of applicative bisimilarity in higher-order languages

    A categorical framework for congruence of applicative bisimilarity in higher-order languages द्वारा Tom Hirschowitz, Ambroise Lafont

    प्रकाशित 2022-09-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  13. 133
    Abstract GSOS Rules and a Modular Treatment of Recursive Definitions

    Abstract GSOS Rules and a Modular Treatment of Recursive Definitions द्वारा Stefan Milius, Lawrence S Moss, Daniel Schwencke

    प्रकाशित 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  14. 134
    Logical relations for coherence of effect subtyping

    Logical relations for coherence of effect subtyping द्वारा Dariusz Biernacki, Piotr Polesiuk

    प्रकाशित 2018-01-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  15. 135
    On two-variable guarded fragment logic with expressive local Presburger constraints

    On two-variable guarded fragment logic with expressive local Presburger constraints द्वारा Chia-Hsuan Lu, Tony Tan

    प्रकाशित 2024-08-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  16. 136
    Exploring the Boundaries of Monad Tensorability on Set

    Exploring the Boundaries of Monad Tensorability on Set द्वारा Nathan Bowler, Sergey Goncharov, Paul Blain Levy, Lutz Schröder

    प्रकाशित 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  17. 137
    Monadic Second Order Logic with Measure and Category Quantifiers

    Monadic Second Order Logic with Measure and Category Quantifiers द्वारा Matteo Mio, Michał Skrzypczak, Henryk Michalewski

    प्रकाशित 2018-04-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  18. 138
    Build your own clarithmetic I: Setup and completeness

    Build your own clarithmetic I: Setup and completeness द्वारा Giorgi Japaridze

    प्रकाशित 2017-04-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  19. 139
    Focusing in Orthologic

    Focusing in Orthologic द्वारा Olivier Laurent

    प्रकाशित 2017-07-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  20. 140
    2-adjoint equivalences in homotopy type theory

    2-adjoint equivalences in homotopy type theory द्वारा Daniel Carranza, Jonathan Chang, Chris Kapulkin, Ryan Sandford

    प्रकाशित 2021-01-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख

खोज साधन: