文献
J-GLOBAL ID:200902090984287853
整理番号:91A0430984
十分な完全性,基底還元可能性とその複雑度
Sufficient-completeness, ground-reducibility and their complexity.
著者 (4件):
KAPUR D
(State Univ. New York at Albany, NY, USA)
,
NARENDRAN P
(State Univ. New York at Albany, NY, USA)
,
ROSENKRANTZ D J
(State Univ. New York at Albany, NY, USA)
,
ZHANG H
(Univ. Iowa, IA, USA)
資料名:
Acta Informatica
(Acta Informatica)
巻:
28
号:
4
ページ:
311-350
発行年:
1991年04月
JST資料番号:
E0786A
ISSN:
0001-5903
CODEN:
AINFA2
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)