Résultat(s) 1 - 20 résultats de 1 447 pour la requête 'Logical Methods in Computer Science e.V.', Temps de recherche: 0,97s Affiner les résultats
  1. 1

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

    Publié 2015-12-01
    “…Logical Methods in Computer Science e.V.…”
    Accéder au texte intégral
    Article
  2. 2

    Unary negation par Luc Segoufin, Balder ten Cate

    Publié 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    Accéder au texte intégral
    Article
  3. 3
  4. 4

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

    Publié 2013-02-01
    “…Logical Methods in Computer Science e.V.…”
    Accéder au texte intégral
    Article
  5. 5
  6. 6
  7. 7
  8. 8

    Complexity theory for spaces of integrable functions par Florian Steinberg

    Publié 2017-09-01
    “…Logical Methods in Computer Science e.V.…”
    Accéder au texte intégral
    Article
  9. 9

    Banach Spaces as Data Types par Dag Normann

    Publié 2011-05-01
    “…Logical Methods in Computer Science e.V.…”
    Accéder au texte intégral
    Article
  10. 10

    Comparing hierarchies of total functionals par Dag Normann

    Publié 2005-10-01
    “…Logical Methods in Computer Science e.V.…”
    Accéder au texte intégral
    Article
  11. 11

    Complexity of Problems of Commutative Grammars par Eryk Kopczynski

    Publié 2015-03-01
    “…Logical Methods in Computer Science e.V.…”
    Accéder au texte intégral
    Article
  12. 12
  13. 13
  14. 14

    Infinite Probabilistic Databases par Martin Grohe, Peter Lindner

    Publié 2022-02-01
    “…Logical Methods in Computer Science e.V.…”
    Accéder au texte intégral
    Article
  15. 15

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

    Publié 2019-04-01
    “…Logical Methods in Computer Science e.V.…”
    Accéder au texte intégral
    Article
  16. 16

    Separators in Continuous Petri Nets par Michael Blondin, Javier Esparza

    Publié 2024-02-01
    “…Logical Methods in Computer Science e.V.…”
    Accéder au texte intégral
    Article
  17. 17
  18. 18
  19. 19

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

    Publié 2021-03-01
    “…Logical Methods in Computer Science e.V.…”
    Accéder au texte intégral
    Article
  20. 20

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

    Publié 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    Accéder au texte intégral
    Article