-
141
Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence
Julkaistu 2019-02-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
142
Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms
Julkaistu 2022-04-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
143
A Logical Foundation for Environment Classifiers
Julkaistu 2010-12-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
144
On Ramsey properties of classes with forbidden trees
Julkaistu 2014-08-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
145
Reduction Free Normalisation for a proof irrelevant type of propositions
Julkaistu 2023-07-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
146
From Logic to Biology via Physics: a survey
Julkaistu 2017-11-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
147
Beyond Language Equivalence on Visibly Pushdown Automata
Julkaistu 2009-01-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
148
Infinite and Bi-infinite Words with Decidable Monadic Theories
Julkaistu 2018-08-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
149
A rich hierarchy of functionals of finite types
Julkaistu 2009-09-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
150
On the strictness of the quantifier structure hierarchy in first-order logic
Julkaistu 2014-11-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
151
On Higher-Order Probabilistic Subrecursion
Julkaistu 2021-12-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
152
Bounded Reachability Problems are Decidable in FIFO Machines
Julkaistu 2022-01-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
153
The Shapley Value of Tuples in Query Answering
Julkaistu 2021-09-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
154
Sub-computable Boundedness Randomness
Julkaistu 2014-12-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
155
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
Julkaistu 2024-06-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
156
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed
Julkaistu 2016-03-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
157
The Computational Complexity of Propositional Cirquent Calculus
Julkaistu 2015-03-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
158
Modal Interface Automata
Julkaistu 2013-08-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
159
Pumping lemmas for weighted automata
Julkaistu 2021-07-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli -
160
Kripke Semantics for Martin-L\"of's Extensional Type Theory
Julkaistu 2011-09-01“…Logical Methods in Computer Science e.V.…”
Hae kokoteksti
Artikkeli