# Shunsuke Yatabe

According to our database

Collaborative distances:

^{1}, Shunsuke Yatabe authored at least 13 papers between 2003 and 2015.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2015

Proceedings of the New Frontiers in Artificial Intelligence, 2015

2014

On the crispness of <i>ω</i> and arithmetic with a bisimulation in a constructive naive set theory.

Log. J. IGPL, 2014

2012

Proceedings of the New Frontiers in Artificial Intelligence, 2012

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011

Proceedings of the Mathematics of Language - 12th Biennial Conference, 2011

2010

Proceedings of the New Frontiers in Artificial Intelligence, 2010

2009

Arch. Math. Log., 2009

2007

Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic.

Arch. Math. Log., 2007

2006

J. Philos. Log., 2006

2005

Log. J. IGPL, 2005

Ann. Pure Appl. Log., 2005

Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

2003

On a Set Theory With Uncertain Membership Relations.

Proceedings of the Design and Application of Hybrid Intelligent Systems, 2003