Contents of Report

[Data of Report]

Report Number:

TR0027

Date of Registration:

1983.10

English Title:

On the Parallel Computational Complexity of Unification

Japanese Title:

***

English Author:

H.Yasuura

Japanese:

***

Name of Organization to which author belongs:

Kyoto Univ.

PDF:

tr0027.pdf

[Contents]

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports