Graph explorer

Yutaka Nagashima

Yutaka Nagashima contributes to research discovery and scholarly infrastructure.

10 nodes9 linksoverview previewYutaka Nagashima
10 nodes9 links
Yutaka Nagashima10 visible / 10 total nodes / 9 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAYutaka NagashimaResearcherWTemplate-Based Conjectu...preprint / 2023WGenetic Algorithm for P...preprint / 2023WDefinitional Quantifier...preprint / 2022WLiFtEr: Language to Enc...preprint / 2020WTowards United Reasonin...preprint / 2020WSimple Dataset for Proo...preprint / 2020WSmart Induction for Isa...preprint / 2020WClose Encounters of the...preprint / 2016WCOGENT: Certified Compi...preprint / 2016
PersonSignal 109 links

Yutaka Nagashima

Researcher

Open