Skip to content

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

Erich Grdel, Hayyan Helal, Matthias Naaf, Richard Wilke

VenueA*LICS
Year2022
ProceedingsLICS

Browse the full LICS paper archive.