Parallel Play Saves Quantifiers
The number of quantifiers needed to express first-order properties is captured by two-player
combinatorial games called multi-structural (MS) games. We play these games on linear …
combinatorial games called multi-structural (MS) games. We play these games on linear …
On the Number of Quantifiers Needed to Define Boolean Functions
The number of quantifiers needed to express first-order (FO) properties is captured by two-
player combinatorial games called multi-structural games. We analyze these games on …
player combinatorial games called multi-structural games. We analyze these games on …
[HTML][HTML] Tsing Ch'a Sessions 清茶会
ZG Fellows, TL Colloquium, TL Salon - tsinghualogic.net
To promote interdisciplinary interaction between different faculty members and students on
the campus, a weekly meeting has been organized by our postdoc Jialiang Yan since …
the campus, a weekly meeting has been organized by our postdoc Jialiang Yan since …