JAIST Repository > b. 情報科学研究科・情報科学系 > b30. リサーチレポート > Research Report - School of Information Science ： ISSN 0918-7553 >
Leibniz style arithmetization of human reasoning
Fixpoint formulation of the completion problem of orthomodular lattices
New interconnections for for massively parallel and distributed systems
Synthesis of supervisors using learning algorithm of regular languages
Mingle converse principle for substructural logics
