Näytetään 141 - 160 yhteensä 1 447 tuloksesta haulle 'Logical Methods in Computer Science e.V.', hakuaika: 1,14s Tarkenna hakua
  1. 141
  2. 142

    Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms Tekijä Claudia Faggian

    Julkaistu 2022-04-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  3. 143

    A Logical Foundation for Environment Classifiers Tekijä Takeshi Tsukada, Atsushi Igarashi

    Julkaistu 2010-12-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  4. 144

    On Ramsey properties of classes with forbidden trees Tekijä Jan Foniok

    Julkaistu 2014-08-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  5. 145

    Reduction Free Normalisation for a proof irrelevant type of propositions Tekijä Thierry Coquand

    Julkaistu 2023-07-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  6. 146

    From Logic to Biology via Physics: a survey Tekijä Giuseppe Longo, Maël Montévil

    Julkaistu 2017-11-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  7. 147

    Beyond Language Equivalence on Visibly Pushdown Automata Tekijä Jiří Srba

    Julkaistu 2009-01-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  8. 148

    Infinite and Bi-infinite Words with Decidable Monadic Theories Tekijä Dietrich Kuske, Jiamou Liu, Anastasia Moskvina

    Julkaistu 2018-08-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  9. 149

    A rich hierarchy of functionals of finite types Tekijä Dag Normann

    Julkaistu 2009-09-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  10. 150

    On the strictness of the quantifier structure hierarchy in first-order logic Tekijä Yuguo He

    Julkaistu 2014-11-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  11. 151

    On Higher-Order Probabilistic Subrecursion Tekijä Flavien Breuvart, Ugo Dal Lago, Agathe Herrou

    Julkaistu 2021-12-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  12. 152

    Bounded Reachability Problems are Decidable in FIFO Machines Tekijä Benedikt Bollig, Alain Finkel, Amrita Suresh

    Julkaistu 2022-01-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  13. 153

    The Shapley Value of Tuples in Query Answering Tekijä Ester Livshits, Leopoldo Bertossi, Benny Kimelfeld, Moshe Sebag

    Julkaistu 2021-09-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  14. 154

    Sub-computable Boundedness Randomness Tekijä Sam Buss, Douglas Cenzer, Jeffrey B. Remmel

    Julkaistu 2014-12-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  15. 155

    On Robustness for the Skolem, Positivity and Ultimate Positivity Problems Tekijä S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala

    Julkaistu 2024-06-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  16. 156

    (Leftmost-Outermost) Beta Reduction is Invariant, Indeed Tekijä Beniamino Accattoli, Ugo Dal Lago

    Julkaistu 2016-03-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  17. 157

    The Computational Complexity of Propositional Cirquent Calculus Tekijä Matthew Steven Bauer

    Julkaistu 2015-03-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  18. 158

    Modal Interface Automata Tekijä Gerald Lüttgen, Walter Vogler

    Julkaistu 2013-08-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  19. 159

    Pumping lemmas for weighted automata Tekijä Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl, Cristian Riveros

    Julkaistu 2021-07-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli
  20. 160

    Kripke Semantics for Martin-L\"of's Extensional Type Theory Tekijä Steve Awodey, Florian Rabe

    Julkaistu 2011-09-01
    “…Logical Methods in Computer Science e.V.…”
    Hae kokoteksti
    Artikkeli