Mostrando 1 - 20 Resultados de 1,447 Para Buscar 'Logical Methods in Computer Science e.V.', tiempo de consulta: 1.65s Limitar resultados
  1. 1
    Finite choice, convex choice and finding roots

    Finite choice, convex choice and finding roots por Stéphane Le Roux, Arno Pauly

    Publicado 2015-12-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  2. 2
    Unary negation

    Unary negation por Luc Segoufin, Balder ten Cate

    Publicado 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  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 por Davide Basile, Maurice H. ter Beek, Rosario Pugliese

    Publicado 2020-06-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  4. 4
    Vector Addition System Reversible Reachability Problem

    Vector Addition System Reversible Reachability Problem por Jérôme Leroux

    Publicado 2013-02-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  5. 5
    Canonicity and homotopy canonicity for cubical type theory

    Canonicity and homotopy canonicity for cubical type theory por Thierry Coquand, Simon Huber, Christian Sattler

    Publicado 2022-02-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  6. 6
    Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

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

    Publicado 2023-10-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  7. 7
    Reconfiguration and Message Losses in Parameterized Broadcast Networks

    Reconfiguration and Message Losses in Parameterized Broadcast Networks por Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar

    Publicado 2021-03-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  8. 8
    Complexity theory for spaces of integrable functions

    Complexity theory for spaces of integrable functions por Florian Steinberg

    Publicado 2017-09-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  9. 9
    Banach Spaces as Data Types

    Banach Spaces as Data Types por Dag Normann

    Publicado 2011-05-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  10. 10
    Comparing hierarchies of total functionals

    Comparing hierarchies of total functionals por Dag Normann

    Publicado 2005-10-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  11. 11
    Complexity of Problems of Commutative Grammars

    Complexity of Problems of Commutative Grammars por Eryk Kopczynski

    Publicado 2015-03-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  12. 12
    On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

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

    Publicado 2012-09-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  13. 13
    Theory of higher order interpretations and application to Basic Feasible Functions

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

    Publicado 2020-12-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  14. 14
    Infinite Probabilistic Databases

    Infinite Probabilistic Databases por Martin Grohe, Peter Lindner

    Publicado 2022-02-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  15. 15
    Generalised Mermin-type non-locality arguments

    Generalised Mermin-type non-locality arguments por Stefano Gogioso, William Zeng

    Publicado 2019-04-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  16. 16
    Separators in Continuous Petri Nets

    Separators in Continuous Petri Nets por Michael Blondin, Javier Esparza

    Publicado 2024-02-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  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 por Dan Frumin, Robbert Krebbers, Lars Birkedal

    Publicado 2021-07-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  18. 18
    Guarded and Unguarded Iteration for Generalized Processes

    Guarded and Unguarded Iteration for Generalized Processes por Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg

    Publicado 2019-07-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  19. 19
    Complete Call-by-Value Calculi of Control Operators II: Strong Termination

    Complete Call-by-Value Calculi of Control Operators II: Strong Termination por Ryu Hasegawa

    Publicado 2021-03-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo
  20. 20
    Reachability under Contextual Locking

    Reachability under Contextual Locking por Remi Bonnet, Rohit Chadha, Mahesh Viswanathan, P. Madhusudan

    Publicado 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    Enlace del recurso
    Artículo

Herramientas de búsqueda: