Eitetsu Ken

According to our database¹, Eitetsu Ken authored at least 5 papers between 2020 and 2025.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

On some Σ B0-formulae generalizing counting principles over V0.

[BibT_eX]

[DOI]

Eitetsu Ken

Arch. Math. Log., February, 2025

2024

Ajtai's theorem for T22(R) and pebble games with backtracking.

[BibT_eX]

[DOI]

Eitetsu Ken

Mykyta Narusevych

CoRR, 2024

On the Complexity of Interpolation by Polynomials with Non-negative Real Coefficients.

[BibT_eX]

[DOI]

Katsuyuki Bando

Eitetsu Ken

Hirotaka Onuki

CoRR, 2024

2023

On matrix rank function over bounded arithmetics.

[BibT_eX]

[DOI]

Eitetsu Ken

Satoru Kuroda

CoRR, 2023

2020

On principal types and well-foundedness of terms in ECC.

[BibT_eX]

[DOI]

CoRR, 2020

Eitetsu Ken

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...