All Stories

  1. Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics

    Article • August 2022, ACM (Association for Computing Machinery)

    Hayyan Helal