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

Publication Information

Title

Japanese:
English:	Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames

Author

Japanese:	萩原茂樹, 友石正彦, 島川昌也, 米崎直樹.
English:	Shigeki Hagihara, Masahiko Tomoishi, Masaya Shimakawa, Naoki Yonezaki.

Language

English

Journal/Book name

Japanese:
English:	Preproceedings of 5th International Conference on Computer Science, Electronics Technology and Automation (ICCSETA 2017)

Volume, Number, Page

Published date

Mar. 2017

Publisher

Japanese:
English:

Conference name

Japanese:
English:	5th International Conference on Computer Science, Electronics Technology and Automation (ICCSETA 2017)

Conference site

Japanese:
English: