Damien Pous
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
|
On Tools for Completeness of Kleene Algebra with Hypotheses19th International Conference on Relational and Algebraic Methods in Computer Science ( RAMICS 2021 ), Nov 2021, Luminy, France. ⟨10.1007/978-3-030-88701-8_23⟩
Communication dans un congrès
hal-03269462v2
|