Filter your results
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
|
|
sorted by
|
|
Projective unification through dualityAdvances in Modal Logic (AiML 2022), Aug 2022, Rennes, France
Conference papers
hal-03762785v1
|
||
|
Fixed Point Logics on Hemimetric Spaces38th Annual Symposium on Logic in Computer Science (LICS 2023), ACM; IEEE, Jun 2023, Boston, United States. à paraître
Conference papers
hal-04076518v1
|