Article citationsMore>>

N. Kamide and H. Wansing, “Combining Linear-Time Temporal Logic with Constructiveness and Paraconsistency,” Journal of Applied Logic, Vol. 8, 2010, pp. 33-61. doi:10.1016/j.jal.2009.06.001

has been cited by the following article:

Follow SCIRP
Twitter Facebook Linkedin Weibo
Contact us
Free SCIRP Newsletters
Copyright © 2006-2021 Scientific Research Publishing Inc. All Rights Reserved.