Login / Signup
Takeo Uramoto
ORCID
Publication Activity (10 Years)
Years Active: 2014-2020
Publications (10 Years): 4
Top Topics
Formal Concept Analysis
Multiscale
Hierarchical Structure
Lower Order
Top Venues
RAMiCS
J. Log. Algebraic Methods Program.
CoRR
LICS
</>
Publications
</>
Yusuke Imoto
,
Naoya Yamanaka
,
Takeo Uramoto
,
Masato Tanaka
,
Masaki Fujikawa
,
Naoto Mitsume
Fundamental theorem of matrix representations of hyper-dual numbers for computing higher-order derivatives.
JSIAM Lett.
12 (2020)
Takeo Uramoto
Semi-galois Categories I: The Classical Eilenberg Variety Theory.
LICS
(2016)
Takeo Uramoto
Canonical finite models of Kleene algebra with tests.
J. Log. Algebraic Methods Program.
85 (4) (2016)
Takeo Uramoto
Semi-galois Categories: The Classical Eilenberg Variety Theory.
CoRR
(2015)
Takeo Uramoto
A Modified Completeness Theorem of KAT and Decidability of Term Reducibility.
RAMiCS
(2014)