Damien Pous
2
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
|
Non axiomatisability of positive relation algebras with constants, via graph homomorphismsCONCUR, 2020, Vienne, Austria. pp.1-23, ⟨10.4230/LIPIcs.CONCUR.2020.49⟩
Communication dans un congrès
hal-02870687v2
|
|
Completeness for Identity-free Kleene LatticesCONCUR, Sep 2018, Beijing, China. ⟨10.4230/LIPIcs.CONCUR.2018.18⟩
Communication dans un congrès
hal-01780845v2
|