Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Wenyan Xu
Researcher
PaperSoundness and completeness of the cirquent calculus system CL6 for computability logicAuthorship / preprint / 2011PaperThe countable versus uncountable branching recurrences in computability logicAuthorship / preprint / 2011PaperA propositional system induced by Japaridze's approach to IF logicAuthorship / preprint / 2014PaperA cirquent calculus system with clustering and rankingAuthorship / preprint / 2014PaperThe parallel versus branching recurrences in computability logicAuthorship / preprint / 2011PaperGraphene-Silicon Layered Structures on Single-crystalline Ir(111) Thin FilmsAuthorship / preprint / 2015