Ryoma Sin'ya | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Takanori Maehara
32 publications
Naoki Kobayashi
18 publications
Takeshi Tsukada
11 publications
Soh Kumabe
10 publications
Kazuyuki Asada
6 publications
Yoshiki Nakamura
3 publications

research

∙ 09/06/2023

Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements

We investigate the equational theory of Kleene algebra terms with variab...

0 Yoshiki Nakamura, et al. ∙

research

∙ 07/13/2018

Linear Pseudo-Polynomial Factor Algorithm for Automaton Constrained Tree Knapsack Problem

The automaton constrained tree knapsack problem is a variant of the knap...

0 Soh Kumabe, et al. ∙

research

∙ 01/11/2018

Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence

It is well known that the length of a beta-reduction sequence of a simpl...

0 Kazuyuki Asada, et al. ∙