Yimu Yin

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 2

Top Topics

Markov Processes

Causal Theories

General Logic Programs

Top Venues

Ann. Pure Appl. Log.

Publications

Yimu Yin
A graphical construction of free Markov categories. CoRR (2022)
Yimu Yin, Jiji Zhang
Markov categories, causal theories, and the do-calculus. CoRR (2022)
Yimu Yin
Integration in algebraically closed valued fields with sections. Ann. Pure Appl. Log. 164 (1) (2013)
Yimu Yin
Integration in algebraically closed valued fields. Ann. Pure Appl. Log. 162 (5) (2011)
Yimu Yin
Special transformations in algebraically closed valued fields. Ann. Pure Appl. Log. 161 (12) (2010)
Yimu Yin
Henselianity and the Denef-Pas language. J. Symb. Log. 74 (2) (2009)
Jeremy Avigad, Yimu Yin
Quantifier elimination for the reals with a predicate for the powers of two. Theor. Comput. Sci. 370 (1-3) (2007)
Jeremy Avigad, Yimu Yin
Quantifier elimination for the reals with a predicate for the powers of two CoRR (2006)