文献
J-GLOBAL ID:201002064380713226
整理番号:80A0401706
1階データベースにおける等価性及び領域閉包
Equality and domain closure in first-order databases.
著者 (1件):
REITER R
(Univ. British Columbia, Canada)
資料名:
J Assoc Comput Mach
(Journal of the Association for Computing Machinery)
巻:
27
号:
2
ページ:
235-249
発行年:
1980年
JST資料番号:
C0267A
ISSN:
0004-5411
CODEN:
JACOA
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)