Yanger Ma

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 2

Top Topics

Logic Programming

Statistical Model

Probabilistic Model

Sound And Complete Axiomatization

Top Venues

Inf. Process. Lett.

Publications

Yanger Ma, Tony Tan
A simple combinatorial proof for the small model property of two-variable logic. Inf. Process. Lett. 170 (2021)
Yanger Ma, Tony Tan
Two-variable logic revisited. CoRR (2019)