JAIST Repository >
証明スコア法に基づく革新的仕様検証システムの構築
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences