Zobrazeno 1 - 10
of 830
pro vyhledávání: '"NAKAMURA Yoshiki"'
Autor:
Nakamura, Yoshiki, Sin'ya, Ryoma
We investigate the equational theory for Kleene algebra terms with variable complements and constant complements -- (language) complement where it applies only to variables or constants -- w.r.t. languages. While the equational theory w.r.t. language
Externí odkaz:
http://arxiv.org/abs/2411.16397
Autor:
Nakamura, Yoshiki
We prove that the equational theory of the positive calculus of relations with transitive closure (PCoR*) is EXPSPACE-complete. PCoR* terms consist of the following standard operators on binary relations: identity, empty, universality, union, interse
Externí odkaz:
http://arxiv.org/abs/2408.08236
Publikováno v:
Australasian Orthodontic Journal, Vol 35, Iss 1, Pp 85-93 (2019)
According to the WHO, a paradental cyst is classified as an odontogenic inflammatory lesion, showing a relative frequency of 0.9–4.7% in the world population. There are no identifiable reports of orthodontic treatment of patients who also present w
Externí odkaz:
https://doaj.org/article/0a5fce33ee8248368326dab103d0a124
Autor:
Nakamura, Yoshiki
In this note, we give a linear-size translation from formulas of first-order logic into equations of the calculus of relations preserving validity and finite validity. Our translation also gives a linear-size conservative reduction from formulas of f
Externí odkaz:
http://arxiv.org/abs/2310.02845
Autor:
Nakamura, Yoshiki, Sin'ya, Ryoma
Publikováno v:
EPTCS 386, 2023, pp. 185-199
We investigate the equational theory of Kleene algebra terms with variable complements -- (language) complement where it applies only to variables -- w.r.t. languages. While the equational theory w.r.t. languages coincides with the language equivalen
Externí odkaz:
http://arxiv.org/abs/2309.02760
Autor:
Nakamura, Yoshiki
We introduce the $k$-variable-occurrence fragment, which is the set of terms having at most $k$ occurrences of variables. We give a sufficient condition for the decidability of the equational theory of the $k$-variable-occurrence fragment using the f
Externí odkaz:
http://arxiv.org/abs/2307.05046
Autor:
Nakamura, Yoshiki
We study the decidability and complexity of equational theories of the existential calculus of relations with transitive closure (ECoR*) and its fragments, where ECoR* is the positive calculus of relations with transitive closure extended with comple
Externí odkaz:
http://arxiv.org/abs/2304.12079
Publikováno v:
In Journal of Virological Methods February 2025 332
Autor:
Nishimura, Shirabe, Kariya, Hitoshi, Gakiya, Yu, Shinohara, Rie, Nakamura, Yoshiki, Mizoguchi, Toshihide, Ohashi, Akiko, Motoyoshi, Mitsuru, Ninomiya, Tadashi
Publikováno v:
In Archives of Oral Biology February 2024 158
Autor:
Nakamura, Yoshiki
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming June 2022 127