Conference Paper Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames

萩原, 茂樹  ,  Hagihara, Shigeki  ,  友石, 正彦  ,  TOMOISHI, MASAHIKO  ,  島川, 昌也  ,  Shimakawa, Masaya  ,  米崎, 直樹  ,  YONEZAKI, NAOKI

Number of accesses :  

Other information