No.1268
γnΜASYΖvZ_
Algorithms in Algebraic Systems and Computation Theory
€WορW
@
2002/02/20`2002/02/22
¬Ρ@δ€‘
Yuji Kobayashi
@
Ϊ@
@
1. $n$-Insertion on Languages (Algorithms in Algebraic Systems and Computation Theory)-----------------------------------------------1
@@@@sYΖεww/sYΖεww€Θ@@@Ι‘ ³ό/Y Ί@(Ito,Masami/Sugiura,Ryo)
@
2. A Language Equation and Its Applications (Algorithms in Algebraic Systems and Computation Theory)---------------------------------7
@@@@sYΖεww@@@Ι‘ ³ό@(Ito,Masami)
@
@@@@dCΚMεw/dCΚMεw@@@¬Ρ /ί‘ όε@(Kobayashi,Satoshi/Kondo,Tomohiro)
@
@@@@xmΚ€@@@¬Δ j@(Koshiba,Takeshi)
@
@@@@xmΚ€/_V^bgHΘεw@@@Ι€ Nη/Ψ @(Izu,Tetsuya/Takagi,Tsuyoshi)
@
@@@@ΚM€/ΚM€@@@RΊ ΎO/κΰV C@(Yamamura,Akihiro/Takizawa,Osamu)
@
7. Remarks on locally inverse *-semigroups (Algorithms in Algebraic Systems and Computation Theory)---------------------------------47
@@@@ͺεwHw/ͺεwHw@@@‘ͺ Pj/‘΄ _¦@(Imaoka,Teruo/Fujiwara,Koji)
@
@@@@MεwwξρΘwΘ@@@|ΰ ς@(Takeuti,Izumi)
@
9. On cellular automata (Algorithms in Algebraic Systems and Computation Theory)----------------------------------------------------59
@
@@@@ATRlΤξρΘw€/ATRlΤξρΘw€@@@/Ί΄ @(Liu,Jian-Qin/Shimohara,Katsunori)
@
@@@@§³εwwwΘ@@@ε pj@(Ohsugi,Hidefumi)
@
@@@@_ήμHΖεw@@@Δc ρΗ@(Komeda,Jiryo)
@
@@@@²κεwΆ»³ηw@@@δ Όχ@(Terai,Naoki)
@
14. On the Unit Group of a Semigroup Ring (Algorithms in Algebraic Systems and Computation Theory)----------------------------------97
@@@@οιεww@@@Όc ²P@(Matsuda,Ryuki)
@
15. The word problem for the braid inverse monoid (Algorithms in Algebraic Systems and Computation Theory)-------------------------105
@@@@MεwwξρΘwΘ/MεwwξρΘwΘ/MεwwξρΘwΘ@@@ξc E/ΠC Όχ/ςc r@(Inata,Isamu/Kataumi,Naoki/Tobita,Takatoshi)
@
@@@@ͺεwHw@@@ί‘ ΚN@(Kondo,Michiro)
@
@@@@ͺεwHw@@@‘c x@(Fujita,Ken-etsu)
@
18. Godel's incompleteness theorem and forcing (Algorithms in Algebraic Systems and Computation Theory)----------------------------126
@@@@NTT Communication Science Labs., NTT Corporation@@@Νμ Χl@(Kawano,Yasuhito)
@
19. On Computable Tree Functions (Algorithms in Algebraic Systems and Computation Theory)------------------------------------------138
@@@@RpbNRs[^()/ΫξΒ³εw@@@Ψ{ ³T/΄ ³q@(Kimoto,Masahiro/Takahashi,Masako)
@