Automated Compositional Reasoning of Intuitionistically Closed Regular Properties

Please use this identifier to cite or link to this item: http://ir.sinica.edu.tw/handle/201000000A/85202

Title:	Automated Compositional Reasoning of Intuitionistically Closed Regular Properties
Authors:	Yih-Kuen Tsay Bow-Yaw Wang
Issue Date:	2009-08
Relation:	International Journal of Foundations of Computer Science 20(4), 747-762
URI:	http://ir.sinica.edu.tw/handle/201000000A/85202
ISSN:	http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=Drexel&SrcApp=hagerty_opac&KeyRecord=0129-0541&DestApp=JCR&RQ=IF_CAT_BOXPLOT
Appears in Collections:	資訊科學研究所

Show full item record

Check