書誌事項
- 公開日
- 2002-10-01
- DOI
-
- 10.1093/logcom/12.5.773
- 公開者
- Oxford University Press (OUP)
この論文をさがす
収録刊行物
-
- Journal of Logic and Computation
-
Journal of Logic and Computation 12 (5), 773-808, 2002-10-01
Oxford University Press (OUP)