An axiomatization of ECTL | Tokyo Tech Research Repository (T2R2)

Publication Information

Title

Japanese:
English:	An axiomatization of ECTL

Author

Japanese:	鹿島亮.
English:	Ryo Kashima.

Language

English

Journal/Book name

Japanese:
English:	Journal of Logic and Computation

Volume, Number, Page

Vol. 24 No. 1 pp. 117-133

Published date

Feb. 2014

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English:

DOI

https://doi.org/10.1093/logcom/ext005

©2007 Tokyo Institute of Technology All rights reserved.