| |
| 1997 | ||
|---|---|---|
| 2 | Liangwei Xu, Masato Takeichi, Hideya Iwasaki: Relational Semantics for Locally Nondeterministic Programs. New Generation Comput. 15(3): 339-362 (1997) | |
| 1994 | ||
| 1 | Liangwei Xu, Hideya Iwasaki, Masato Takeichi: Derivation of Algorithms by Introduction of Generation Functions. New Generation Comput. 13(1): 75-98 (1994) | |
| 1 | Hideya Iwasaki | [1] [2] |
| 2 | Masato Takeichi | [1] [2] |