Takashi Matsuhisa. Core Equivalence in Economy for Modal Logic. In Peter M. A. Sloot, David Abramson, Alexander V. Bogdanov, Jack Dongarra, Albert Y. Zomaya, Yuri E. Gorbachev, editors, Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part II. Volume 2658 of Lecture Notes in Computer Science, pages 74-83, Springer, 2003. [doi]
@inproceedings{Matsuhisa03,
title = {Core Equivalence in Economy for Modal Logic},
author = {Takashi Matsuhisa},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2658&spage=74},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/Matsuhisa03},
cites = {0},
citedby = {0},
pages = {74-83},
booktitle = {Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part II},
editor = {Peter M. A. Sloot and David Abramson and Alexander V. Bogdanov and Jack Dongarra and Albert Y. Zomaya and Yuri E. Gorbachev},
volume = {2658},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-40195-4},
}