 |
|
|
JAIST Repository >
|
Recent SubmissionsFault tolerant software in parallel logic programming languages Unique normal proof property for implicational minimal formulas in the intuitionistic logic 動的QOS制御をサポートする連続メディア処理に適したプロセッサ管理機構 Po-hyperdoctrinal semantics for substructural predicate logics |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||