Ցուցադրվում են 1 - 20 արդյունքները 1,447 այս փնտրման համար 'Logical Methods in Computer Science e.V.', հարցման ժամանակը: 0.94s Հստակեցնել արդյունքները
  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.…”
    Ստացեք ամբողջական տեքստը
    Հոդված

Որոնման գործիքներ: