![]() | ![]() |
2003 | ||
---|---|---|
3 | EE | Masahiko Murakami, Akito Tsuboi: Expanding the additive reduct of a model of Peano arithmetic. Math. Log. Q. 49(4): 363-368 (2003) |
1999 | ||
2 | Masahiko Murakami: Standardization Principle of Nonstandard Universes. J. Symb. Log. 64(4): 1645-1655 (1999) | |
1992 | ||
1 | EE | Sadao Kurohashi, Makoto Nagao, Satoshi Sato, Masahiko Murakami: A Method of Automatic Hypertext Construction from an Encyclopedic Dictionary of a Specific Field. ANLP 1992: 239-240 |
1 | Sadao Kurohashi | [1] |
2 | Makoto Nagao | [1] |
3 | Satoshi Sato | [1] |
4 | Akito Tsuboi | [3] |