Yayan Yuan

According to our database1, Yayan Yuan authored at least 3 papers between 2015 and 2017.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Characterizing Consistent Smyth Powerdomains by FS-∧<sup>↑</sup>-domains.
Proceedings of the Seventh International Symposium on Domain Theory and Its Applications, 2017

2016
AGM信念收缩算子的拓扑式刻画 (Topological Characterization of AGM Belief Contraction Operator).
计算机科学, 2016

2015
Belief Revision over Infinite Propositional Language.
Proceedings of the Knowledge Science, Engineering and Management, 2015


  Loading...