Takeo Uramoto

According to our database, Takeo Uramoto authored at least 6 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Tripos and Topos Theory for Fuzzy Logic: Baaz Δ Translation as Lawvere-Tierney Cotopology and Higher-Order Hyperdoctrinal Completion.

Yoshihiro Maruyama, Satoshi Nakata, Taichi Uemura, Takeo Uramoto, Arisa Yasuda

Proceedings of the IEEE International Conference on Fuzzy Systems, 2025

2020

Fundamental theorem of matrix representations of hyper-dual numbers for computing higher-order derivatives.

Yusuke Imoto, Naoya Yamanaka, Takeo Uramoto, Masato Tanaka, Masaki Fujikawa, Naoto Mitsume

JSIAM Lett., 2020

2016

Canonical finite models of Kleene algebra with tests.

Takeo Uramoto

J. Log. Algebraic Methods Program., 2016

Semi-galois Categories I: The Classical Eilenberg Variety Theory.

Takeo Uramoto

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Semi-galois Categories: The Classical Eilenberg Variety Theory.

Takeo Uramoto

CoRR, 2015

2014

A Modified Completeness Theorem of KAT and Decidability of Term Reducibility.

Takeo Uramoto

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014