郭兰坤;黄方平;李庆国;张国强 权力语境及其概念格。 （英语） Zbl 1233.68207号 离散数学。 311，第18-19号，2049-263（2011）.MSC公司：68立方英尺 2015年1月6日 06B23号 PDF格式BibTeX公司 XML格式引用 \textit{L.Guo}等人，《离散数学》。311，No.18--192049--2063（2011；Zbl 1233.68207） 全文： 内政部
郭兰坤;张国强;李庆国 （L）序集上的模糊闭包系统。 （英语） Zbl 1218.06002号 数学。日志。问：。 57，第3期，281-291（2011）. 审核人：Salvatore Sessa（那不勒斯） MSC公司：2015年6月 03电子72 PDF格式BibTeX公司 XML格式引用 \textit{L.Guo}等人，数学。日志。问57，第3号，281--291（2011；Zbl 1218.06002） 全文： 内政部
张国强 二元部分代数中的闭包。 （英语） Zbl 1344.08002号 Chen，Y.-X.（编辑）等，第五届领域理论国际研讨会论文集，中国上海，2009年9月12-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记257，3-18（2009）。MSC公司：08A55号 2015年1月6日 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.-Q.Zhang}，电子。注释Theor。计算。科学。257、3--18（2009年；Zbl 1344.08002） 全文： 内政部
蒋莹;张国强 弱分布域。 （英语） Zbl 1215.06003号 Ronchi della Rocca，Simona（编辑），《键入lambda calculi和应用程序》。2007年6月26日至28日在法国巴黎举行的第八届TLCA国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73227-3/pbk）。计算机科学课堂讲稿4583194-206（2007）。MSC公司：06B35号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Jiang｝和\textit｛G.-Q Zhang｝，Lect。注释计算。科学。4583194-206（2007年；兹bl 1215.06003） 全文： 内政部
陈一香;张国强 稳定双限域范畴中稳定函数的极大性和总和。 （英语） Zbl 1134.06005号 计算。数学。申请。 51，第6-7号，1011-1020（2006）.MSC公司：06B35号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen}和\textit{G.-Q.Zhang}，计算。数学。申请。51，编号6--7，1011--1020（2006；Zbl 1134.06005） 全文： 内政部
帕斯卡·希茨勒;马库斯·科洛奇;张国强 形式概念分析中代数格的范畴观。 （英语） Zbl 1104.06002号 芬丹。通知。 74，编号2-3，301-328（2006）.MSC公司：06B15号 18日第15天 68立方英尺 06B23号 06B35号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit｛P.Hitzler｝等人，Fundam。通知。74，编号2--3，301-328（2006；Zbl 1104.06002）
张国强;沈、龚琴 近似概念、楚空间和信息系统。 （英语） Zbl 1111.68132号 理论应用。类别。 17, 79-102 (2006).MSC公司：68立方英尺 03B70号 2015年1月6日 06B23号 06B35号 18日第15天 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{G.-Q.Zhang}和\textit{G.Shen}，理论应用。类别。17、79——102（2006年；Zbl 1111.68132） 全文： 欧洲DML EMIS公司
张国强;蒋莹 关于Amadio和Curien的一个开放问题：有限反链条件。 （英语） 邮编1088.18004 Inf.计算。 202，第1期，87-103（2005）. 审核人：拉兹万·迪亚科内斯库（普洛耶什蒂） MSC公司：18B35型 06B35号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit｛G.-Q Zhang｝和\textit｛Y.Jiang｝，信息计算。202，编号1，87-103（2005年；兹bl 1088.18004） 全文： 内政部
帕斯卡·希茨勒;张国强 近似概念结构的笛卡尔闭范畴。 （英语） Zbl 1104.68737号 沃尔夫、卡尔·埃里奇（编辑）等人，《工作中的概念结构》，第十二届概念结构国际会议，2004年，美国亚利桑那州亨茨维尔，2004年7月19日至23日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22392-4/pbk）。计算机科学讲义3127。人工智能课堂讲稿，170-185（2004）。MSC公司：68立方英尺 06B35号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{P.Hitzler}和\textit{G.-Q.Zhang}，Lect。注释计算。科学。3127170-185（2004年；Zbl 1104.68737） 全文： 内政部
张国强 楚空间、概念格和域。 （英语） Zbl 1337.68249号 Steven Brookes（编辑），第19届编程语义数学基础会议论文集（MFPS XIX），加拿大蒙特利尔，2003年3月19-22日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记83，287-302，仅电子版（2003）。MSC公司：68立方英尺 03G30型 06B35号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{G.-Q.Zhang}，电子。注释Theor。计算。科学。83、287--302（2003年；Zbl 1337.68249） 全文： 内政部
张国强 紧凑的覆盖范围生成光谱帧。 （英语） 兹比尔1339.06010 Steven Brookes（编辑），第19届编程语义数学基础会议论文集（MFPS XIX），加拿大蒙特利尔，2003年3月19-22日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记83，279-285，仅电子版（2003）。MSC公司：2012年2月6日 54天30分 PDF格式BibTeX公司 XML格式引用 \textit{G.-Q.Zhang}，电子。注释Theor。计算。科学。83、279--285（2003年；Zbl 1339.06010） 全文： 内政部
可口、蒂埃里;张国强 序列、框架和完整性。 （英语） Zbl 0973.03080号 Peter G.Clote（编辑）等人，《计算机科学逻辑》。第14届国际研讨会，CSL 2000。2000年8月21日至26日在德国菲施巴乔举行的欧洲原子能委员会年会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1862, 277-291 (2000).MSC公司：03G25号 2012年2月6日 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}和\textit{G.-Q.Zhang}，Lect。注释计算。科学。1862，277--291（2000；Zbl 0973.03080）
张国强 通用准时间代数域（扩展抽象）。 （英语） Zbl 1509.68155号 Brookes，Stephen（ed.）等人，编程语义的数学基础，第九届国际会议，美国洛杉矶新奥尔良，1993年4月7日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。802, 454-473 (1994).MSC公司：第68季度55 06B35号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{G.-Q.Zhang}，莱克特。注释计算。科学。802、454--473（1994年；Zbl 1509.68155） 全文： 内政部
张国强 SFP的表示。 （英语） Zbl 0794.68095号 Inf.计算。 110，第1期，233-263（1994年）.MSC公司：68问题55 06B35号 05年3月 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.-Q.Zhang}，信息计算。110，编号1，233--263（1994；Zbl 0794.68095） 全文： 内政部 链接
张国强 稳定域和事件结构的一些单体闭范畴。 （英语） Zbl 0794.06010号 数学。结构。计算。科学。 3，第2期，259-276（1993）. 审核人：W.Tholen（Downview） MSC公司：99年6月 18日第15天 03B20型 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛G.-Q Zhang｝，数学。结构。计算。科学。3，编号2259-276（1993年；Zbl 0794.06010） 全文： 内政部
张国强 \（dI）–域作为基本信息系统。 （英语） Zbl 0752.68054号 Inf.计算。 100，第2期，151-177（1992）.MSC公司：68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{G.-Q.Zhang}，信息计算。100，第2号，151--177（1992；Zbl 0752.68054） 全文： 内政部
张国强 析取系统和（mathrm{L}）-域。 （英语） Zbl 1425.68244号 Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 284-295 (1992).MSC公司：68问题55 06B35号 18B99型 PDF格式BibTeX公司 XML格式引用 \textit{G.-Q.Zhang}，莱克特。注释计算。科学。623284-295（1992年；Zbl 1425.68244） 全文： 内政部