Zobrazuji výsledky 1 - 20 z 1 447 pro vyhledávání 'Logical Methods in Computer Science e.V.', doba hledání: 2,78 s. Upřesnit hledání
  1. 1

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

    Vydáno 2015-12-01
    “…Logical Methods in Computer Science e.V.…”
    Získat plný text
    Článek
  2. 2

    Unary negation Autor Luc Segoufin, Balder ten Cate

    Vydáno 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    Získat plný text
    Článek
  3. 3
  4. 4

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

    Vydáno 2013-02-01
    “…Logical Methods in Computer Science e.V.…”
    Získat plný text
    Článek
  5. 5

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

    Vydáno 2022-02-01
    “…Logical Methods in Computer Science e.V.…”
    Získat plný text
    Článek
  6. 6
  7. 7
  8. 8

    Complexity theory for spaces of integrable functions Autor Florian Steinberg

    Vydáno 2017-09-01
    “…Logical Methods in Computer Science e.V.…”
    Získat plný text
    Článek
  9. 9

    Banach Spaces as Data Types Autor Dag Normann

    Vydáno 2011-05-01
    “…Logical Methods in Computer Science e.V.…”
    Získat plný text
    Článek
  10. 10

    Comparing hierarchies of total functionals Autor Dag Normann

    Vydáno 2005-10-01
    “…Logical Methods in Computer Science e.V.…”
    Získat plný text
    Článek
  11. 11

    Complexity of Problems of Commutative Grammars Autor Eryk Kopczynski

    Vydáno 2015-03-01
    “…Logical Methods in Computer Science e.V.…”
    Získat plný text
    Článek
  12. 12
  13. 13
  14. 14

    Infinite Probabilistic Databases Autor Martin Grohe, Peter Lindner

    Vydáno 2022-02-01
    “…Logical Methods in Computer Science e.V.…”
    Získat plný text
    Článek
  15. 15

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

    Vydáno 2019-04-01
    “…Logical Methods in Computer Science e.V.…”
    Získat plný text
    Článek
  16. 16

    Separators in Continuous Petri Nets Autor Michael Blondin, Javier Esparza

    Vydáno 2024-02-01
    “…Logical Methods in Computer Science e.V.…”
    Získat plný text
    Článek
  17. 17
  18. 18

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

    Vydáno 2019-07-01
    “…Logical Methods in Computer Science e.V.…”
    Získat plný text
    Článek
  19. 19

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

    Vydáno 2021-03-01
    “…Logical Methods in Computer Science e.V.…”
    Získat plný text
    Článek
  20. 20

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

    Vydáno 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    Získat plný text
    Článek

Vyhledávací nástroje: