Graph explorer

Kazushige Terui

Kazushige Terui contributes to research discovery and scholarly infrastructure.

5 nodes4 linksoverview previewKazushige Terui
5 nodes4 links
Kazushige Terui5 visible / 5 total nodes / 4 links
AuthorshipAuthorshipAuthorshipAuthorshipAKazushige TeruiResearcherWChurch => Scott = Ptime...preprint / 2010WOn the meaning of logic...preprint / 2010WLight types for polynom...preprint / 2004WVerification of Ptime R...preprint / 2007
PersonSignal 104 links

Kazushige Terui

Researcher

Open