vix.ing · top · new · best · stats · spec

Naaf, Matthias

  1. Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
    2022/03/07 by Grädel, Erich, Helal, Hayyan, Naaf, Matthias +1 · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  2. Locality Theorems in Semiring Semantics
    2023/03/22 by Bizière, Clotilde, Grädel, Erich, Naaf, Matthias · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)