Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

2 Results
authFullName_s : Quentin Gougeon
Image document

Projective unification through duality

Philippe Balbiani , Quentin Gougeon
Advances in Modal Logic (AiML 2022), Aug 2022, Rennes, France
Conference papers hal-03762785v1
Image document

Fixed Point Logics on Hemimetric Spaces

David Fernández-Duque , Quentin Gougeon
38th Annual Symposium on Logic in Computer Science (LICS 2023), ACM; IEEE, Jun 2023, Boston, United States. à paraître
Conference papers hal-04076518v1