Author Info
Name
Affiliation
Papers
MANABU HAGIWARA
Chiba University,Graduate School of Science,Chiba,JAPAN,263-8522
1
Collaborators
Citations 
PageRank 
2
0
0.34
Referers 
Referees 
References 
0
0
0
Title
Citations
PageRank
Year
Formalization of VT Codes and Their Single-Deletion Correcting Property in Lean.00.342020