The following pages link to Takeo Uramoto (Q299195):
Displaying 6 items.
- Canonical finite models of Kleene algebra with tests (Q299196) (← links)
- Semi-Galois categories. II: An arithmetic analogue of Christol's theorem (Q1643559) (← links)
- Semi-galois Categories I (Q4635914) (← links)
- Fundamental theorem of matrix representations of hyper-dual numbers for computing higher-order derivatives (Q5121397) (← links)
- A Modified Completeness Theorem of KAT and Decidability of Term Reducibility (Q5410479) (← links)
- Semi-galois Categories IV: A deformed reciprocity law for Siegel modular functions (Q6510217) (← links)