@InProceedings{   fernandezduque:hal-04076518,
  Author        = "Fern{\'a}ndez-Duque, David and Gougeon, Quentin",
  Address       = "Boston, United States",
  BookTitle     = "{38th Annual Symposium on Logic in Computer Science (LICS 2023)}",
  date-added    = "2023-04-28 17:55:35 +0200",
  date-modified = "2023-04-28 17:55:35 +0200",
  hal_id        = "hal-04076518",
  hal_version   = "v1",
  Keywords      = "Normal modal logic ; mu-calculus ; Topological semantics ; Simulation ; Hemimetric spaces",
  Month         = "June",
  Organization  = "{ACM and IEEE}",
  Pages         = "{\`a} para{\^\i}tre",
  PDF           = "https://hal.science/hal-04076518/file/Hemimetric-long.pdf",
  Title         = "{Fixed Point Logics on Hemimetric Spaces}",
  URL           = "https://hal.science/hal-04076518",
  Year          = "2023",
  bdsk-url-1    = "https://hal.science/hal-04076518",
  File          = "Fixed Point Logics on Hemimetric Spaces - Hemimetric-long.pdf"
}

@InProceedings{ fernandezduque:hal-04076518, Author = "Fern{\'a}ndez-Duque, David and Gougeon, Quentin", Address = "Boston, United States", BookTitle = "{38th Annual Symposium on Logic in Computer Science (LICS 2023)}", date-added = "2023-04-28 17:55:35 +0200", date-modified = "2023-04-28 17:55:35 +0200", hal_id = "hal-04076518", hal_version = "v1", Keywords = "Normal modal logic ; mu-calculus ; Topological semantics ; Simulation ; Hemimetric spaces", Month = "June", Organization = "{ACM and IEEE}", Pages = "{`a} para{\^\i}tre", PDF = "https://hal.science/hal-04076518/file/Hemimetric-long.pdf", Title = "{Fixed Point Logics on Hemimetric Spaces}", URL = "https://hal.science/hal-04076518", Year = "2023", bdsk-url-1 = "https://hal.science/hal-04076518", File = "Fixed Point Logics on Hemimetric Spaces - Hemimetric-long.pdf" }