Search results for: Yasushige Watase
Formalized Mathematics > 2016 > 24 > 4 > 291-299
Formalized Mathematics > 2015 > 23 > 2 > 101-106
Formalized Mathematics > 2014 > 22 > 2 > 105-110
Formalized Mathematics > 2012 > 20 > 4 > 349-357
Formalized Mathematics > 2010 > 18 > 3 > 159-169
Formalized Mathematics > 2008 > 16 > 4 > 361-369