t-yuyama.jp - Takao Yuyama

home > domains > t-yuyama.jp

takao yuyama (1) word problem (1) formal language theory (1) undecidable problem (1) computability theory (1)

Example domain paragraphs

* portrait *

I am a researcher at RIMS, Kyoto University.

Keywords : mathematical logic, computability theory, undecidable problems, formal language theory, word problem for groups.