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. |