Contents of Report

[Data of Report]

Report Number:

TM1161

Date of Registration:

1992.02

English Title:

Polynomial Time of Inferability of Primitive Prolog from Positive Data

Japanese Title:

Primitive Prologの正データからの他項式時間推論可能性

English Author:

H.Ishizaka,H.Arimura,T.Shinahara

Japanese:

石坂　裕毅,有村　博紀,篠原　武

Name of Organization to which author belongs:

ICOT,KYUSHU INSTITUTE OF TECHNOLOGY,KYUSHU INSTITUTE OF TECHNOLOGY

PDF:

tm1161.pdf

[Contents]

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda