|
|||||
|
|
A note on Hajek, Paris and Shepherdson's theorem |
|
| Authors: | Yatabe Shunsuke |
| Institution: | Department of Computer and System Engineering, Kobe University, Rokko-dai, Nada-ku, Kobe 657-8501, Japan. E-mail: yatabe{at}kurt.scitec.kobe-u.ac.jp |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |