JAIST Repository > School of Information Science > JAIST Research Reports > 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