Author: "Wenyan, Xu" / Journal: corr - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Wenyan, Xu"' showing total 5 results

Start Over Author "Wenyan, Xu" Journal corr

5 results on '"Wenyan, Xu"'

1. Axiomatizing Japaridze's approach to propositional IF logic.

Author: Wenyan Xu
Published: 2014

2. A cirquent calculus system with clustering and ranking.

Author: Wenyan Xu
Published: 2014

3. The parallel versus branching recurrences in computability logic

Author: Wenyan Xu and Sanyang Liu
Published: 2011

4. The countable versus uncountable branching recurrences in computability logic

Author: Wenyan Xu and Sanyang Liu
Published: 2011

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

Author: Wenyan Xu and Sanyang Liu
Published: 2011

Catalog

Books, media, physical & digital resources

See catalog results