Murata, Kosuke
411  results:
Search for persons X
?
 
?
 
?
10

Recursion Schemes in Coq:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Murata, Kosuke ; Emoto, Kento - p. 202-221 , 2019
 
?
12

Osteoarthritis patients with high haemoglobin A1c have incr..:

Murata, Kosuke ; Uchida, Kentaro ; Takano, Shotaro...
Diabetes, Metabolic Syndrome and Obesity: Targets and Therapy.  12 (2019)  - p. 1151-1159 , 2019
 
?
 
1-15