( en | de | ru )

 

Disambiguation of "Kobayashi, Satoshi"

Author of the publication

copydeleteadd this publication to your clipboard
Formal properties of PA-matching.

, , , and . Theor. Comput. Sci., 262 (1): 117-131 (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Satoshi Ejima

Satoshi Okawa

Satoshi Otomo

Satoshi Murayama

Satoshi Nishida

 

Other publications of authors with the same name

Assessment of surgical skills by using surgical navigation in robot-assisted partial nephrectomy., , , , , , , and . Int. J. Comput. Assist. Radiol. Surg., 14 (8): 1449-1459 (2019)Formal properties of PA-matching., , , and . Theor. Comput. Sci., 262 (1): 117-131 (2001)Realizability Interpretation of Generalized Inductive Definitions., and . Theor. Comput. Sci., 131 (1): 121-138 (1994)Iterated Transductions and Efficient Learning from Positive Data: A Unifying View.. ICGI, volume 1891 of Lecture Notes in Computer Science, page 157-170. Springer, (2000)A Magic Pot : Self-assembly Computation Revisited., , and . Formal and Natural Computing, volume 2300 of Lecture Notes in Computer Science, page 418-430. Springer, (2002)A New Approach to Computing Equilibrium State of Combinatorial Hybridization Reaction Systems.. BIONETICS, page 330-335. ICST / IEEE, (2007)Development of an Ultrasonically-Assisted Electrolytic Grinding System., , , , , , and . Int. J. Autom. Technol., 7 (6): 654-662 (2013)On the Universality of Post and Splicing Systems., , , and . MCU (2), page 12-28. IUT Metz, (1998)Identifying Strategies Using Decision Lists from Trace Information.. IEICE Trans. Inf. Syst., 78-D (5): 545-552 (1995)A Grammatical Approach to the Alignment of Structure-Annotated Strings., and . IEICE Trans. Inf. Syst., 88-D (12): 2727-2737 (2005)