Search results for: Yuichi Futa
Formalized Mathematics > 2017 > 25 > 3 > 171-178
Formalized Mathematics > 2017 > 25 > 2 > 157-169
Formalized Mathematics > 2017 > 25 > 1 > 73-86
Formalized Mathematics > 2016 > 24 > 1 > 37-47
Formalized Mathematics > 2016 > 24 > 1 > 49-68
Formalized Mathematics > 2015 > 23 > 4 > 297-307
Formalized Mathematics > 2015 > 23 > 3 > 205-213
Formalized Mathematics > 2015 > 23 > 1 > 29-49
Formalized Mathematics > 2014 > 22 > 4 > 277-289
Formalized Mathematics > 2014 > 22 > 3 > 189-198
Formalized Mathematics > 2014 > 22 > 3 > 209-223
Formalized Mathematics > 2013 > 21 > 2 > 133-143
Formalized Mathematics > 2013 > 21 > 2 > 115-125
Formalized Mathematics > 2013 > 21 > 4 > 249-260
Formalized Mathematics > 2013 > 21 > 4 > 273-282
Journal of Automated Reasoning > 2013 > 50 > 2 > 161-172
Formalized Mathematics > 2012 > 20 > 3 > 205-214
Formalized Mathematics > 2012 > 20 > 4 > 275-280
Formalized Mathematics > 2012 > 20 > 1 > 47-59