Wenyan Xu

Affiliations:

According to our database¹, Wenyan Xu authored at least 4 papers between 2012 and 2013.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

The Parallel versus Branching Recurrences in Computability Logic.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2013

2012

The countable versus uncountable branching recurrences in computability logic.

[BibT_eX]

[DOI]

J. Appl. Log., 2012

Soundness and completeness of the Cirquent calculus system CL6 for computability logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2012

Cirquent Calculus System Cl8s versus Calculus of Structures System Sksg for Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Logic and Soft Computing, 2012