Näytetään 1 - 20 yhteensä 1 446 tuloksesta haulle '"Logical Methods in Computer Science"', hakuaika: 1,09s Tarkenna hakua
  1. 1
    Finite choice, convex choice and finding roots

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

    Julkaistu 2015-12-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  2. 2
    Unary negation

    Unary negation Tekijä Luc Segoufin, Balder ten Cate

    Julkaistu 2013-09-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  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 Tekijä Davide Basile, Maurice H. ter Beek, Rosario Pugliese

    Julkaistu 2020-06-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  4. 4
    Vector Addition System Reversible Reachability Problem

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

    Julkaistu 2013-02-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  5. 5
    Canonicity and homotopy canonicity for cubical type theory

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

    Julkaistu 2022-02-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  6. 6
    Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

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

    Julkaistu 2023-10-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  7. 7
    Reconfiguration and Message Losses in Parameterized Broadcast Networks

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

    Julkaistu 2021-03-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  8. 8
    Complexity theory for spaces of integrable functions

    Complexity theory for spaces of integrable functions Tekijä Florian Steinberg

    Julkaistu 2017-09-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  9. 9
    Banach Spaces as Data Types

    Banach Spaces as Data Types Tekijä Dag Normann

    Julkaistu 2011-05-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  10. 10
    Comparing hierarchies of total functionals

    Comparing hierarchies of total functionals Tekijä Dag Normann

    Julkaistu 2005-10-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  11. 11
    Complexity of Problems of Commutative Grammars

    Complexity of Problems of Commutative Grammars Tekijä Eryk Kopczynski

    Julkaistu 2015-03-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  12. 12
    On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

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

    Julkaistu 2012-09-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  13. 13
    Theory of higher order interpretations and application to Basic Feasible Functions

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

    Julkaistu 2020-12-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  14. 14
    Infinite Probabilistic Databases

    Infinite Probabilistic Databases Tekijä Martin Grohe, Peter Lindner

    Julkaistu 2022-02-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  15. 15
    Generalised Mermin-type non-locality arguments

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

    Julkaistu 2019-04-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  16. 16
    Separators in Continuous Petri Nets

    Separators in Continuous Petri Nets Tekijä Michael Blondin, Javier Esparza

    Julkaistu 2024-02-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  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 Tekijä Dan Frumin, Robbert Krebbers, Lars Birkedal

    Julkaistu 2021-07-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  18. 18
    Guarded and Unguarded Iteration for Generalized Processes

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

    Julkaistu 2019-07-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  19. 19
    Complete Call-by-Value Calculi of Control Operators II: Strong Termination

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

    Julkaistu 2021-03-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli
  20. 20
    Reachability under Contextual Locking

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

    Julkaistu 2013-09-01
    “…Logical Methods in Computer Science…”
    Hae kokoteksti
    Artikkeli

Työkalut: