Search results for: Yuichi Futa
Formalized Mathematics > 2012 > 20 > 1 > 87-95
Formalized Mathematics > 2011 > 19 > 3 > 131-138
Formalized Mathematics > 2011 > 19 > 1 > 61-64
Formalized Mathematics > 2012 > 20 > 1 > 87-95
Formalized Mathematics > 2011 > 19 > 3 > 131-138
Formalized Mathematics > 2011 > 19 > 1 > 61-64