Yimu Yin

According to our database, Yimu Yin authored at least 7 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

A graphical construction of free Markov categories.

Yimu Yin

CoRR, 2022

Markov categories, causal theories, and the do-calculus.

Yimu Yin, Jiji Zhang

CoRR, 2022

2013

Integration in algebraically closed valued fields with sections.

Yimu Yin

Ann. Pure Appl. Log., 2013

2011

Integration in algebraically closed valued fields.

Yimu Yin

Ann. Pure Appl. Log., 2011

2010

Special transformations in algebraically closed valued fields.

Yimu Yin

Ann. Pure Appl. Log., 2010

2009

Henselianity and the Denef-Pas language.

Yimu Yin

J. Symb. Log., 2009

2007

Quantifier elimination for the reals with a predicate for the powers of two.

Jeremy Avigad, Yimu Yin

Theor. Comput. Sci., 2007