Damien Pous
5
Documents
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 3
- 1
- 1
- 1
- 2
- 3
|
Cyclic proofs, system T, and the power of contractionProceedings of the ACM on Programming Languages, 2021, ⟨10.1145/3434282⟩
Article dans une revue
hal-02487175v2
|
|
Coinductive Algorithms for Büchi AutomataFundamenta Informaticae, 2021, 180 (4), pp.351-373. ⟨10.3233/FI-2021-2046⟩
Article dans une revue
hal-03364935v1
|
|
Kleene Algebra with Hypotheses22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), 2019, Prague, Czech Republic
Communication dans un congrès
hal-02021315v1
|
|
Cyclic Proofs and Jumping AutomataFSTTCS, Dec 2019, Bombay, India. ⟨10.4230/LIPIcs.FSTTCS.2019.45⟩
Communication dans un congrès
hal-02301651v2
|
|
Coinductive algorithms for Büchi automataDevelopments in Language Theory, Aug 2019, Varsovie, Poland
Communication dans un congrès
hal-01928701v1
|