Kyushu University [Uramoto Takeo (Assistant Professor) Institute of Mathematics for Industry, Division of Applied Mathematics]

Uramoto Takeo

Last modified date：2023.11.22

Assistant Professor / Division of Applied Mathematics / Institute of Mathematics for Industry

Presentations

1.	Yasuhiro Ishitsuka, Takeo Uramoto, On the integrality of algebraic Witt vectors over imaginary quadratic fields, Symbolic Computation in Software Science, 2021.09.
2.	Takeo Uramoto, Finite automata and non-commutative analogue of Lambda rings, CALCO Early Ideas Workshop, 2017.06.
3.	Takeo Uramoto, Semi-galois Categories I: The Classical Eilenberg Variety Theory, Annual ACM/IEEE Symposium on Logic in Computer Science, 2016.07.
4.	Takeo Uramoto, A modified completeness theorem of KAT and decidability of term reducibility, Relational and Algebraic Methods in Computer Science, 2014.04.

Unauthorized reprint of the contents of this database is prohibited.