We stand with Ukraine  

Yimu Yin

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
A graphical construction of free Markov categories.
[BibTeX]
[DOI]
Yimu Yin
CoRR, 2022

Markov categories, causal theories, and the do-calculus.
[BibTeX]
[DOI]
Yimu Yin
,
Jiji Zhang
CoRR, 2022

2013
Integration in algebraically closed valued fields with sections.
[BibTeX]
[DOI]
Yimu Yin
Ann. Pure Appl. Log., 2013

2011
Integration in algebraically closed valued fields.
[BibTeX]
[DOI]
Yimu Yin
Ann. Pure Appl. Log., 2011

2010
Special transformations in algebraically closed valued fields.
[BibTeX]
[DOI]
Yimu Yin
Ann. Pure Appl. Log., 2010

2009
Henselianity and the Denef-Pas language.
[BibTeX]
[DOI]
Yimu Yin
J. Symb. Log., 2009

2007
Quantifier elimination for the reals with a predicate for the powers of two.
[BibTeX]
[DOI]
Jeremy Avigad
,
Yimu Yin
Theor. Comput. Sci., 2007


  Loading...