- 1
- 1
- 1
- 1
Thomas Seiller
4
Documents
Publications
- 1
- 1
- 1
- 4
- 4
|
Unifying lower bounds for algebraic machines, semanticallyInformation and Computation, 2024, 301, pp.105232. ⟨10.1016/j.ic.2024.105232⟩
Journal articles
hal-01921942v7
|
|
Zeta Functions and the (Linear) Logic of Markov ProcessesLogical Methods in Computer Science, 2024, Volume 20 (3), ⟨10.46298/lmcs-20(3:18)2024⟩
Journal articles
hal-02458330v6
|
|
Implicit complexity through linear realisability: polynomial time and probabilistic classes2023
Preprints, Working Papers, ...
hal-02458358v2
|
|
Agafonov's Theorem for finite and infinite alphabets and probability distributions different from equidistribution2022
Preprints, Working Papers, ...
hal-02993635v3
|