阮琳安;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 带逆向的正则语法逻辑的ExpTime表决策过程。 （英语） Zbl 1244.03055号 螺柱日志。 98，第3期，387-428（2011）. 审核人：埃米利奥·穆尼奥斯·韦拉斯科（马拉加） 理学硕士：03B35型 03B45 2017年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Nguyen}和\textit{A.Szałas}，Stud.Log。98，第3号，387--428（2011；Zbl 1244.03055） 全文： 内政部
阮林安;斯扎·阿斯、安德烈吉 正则语法逻辑与逆的表演算。 （英语） Zbl 1250.03020号 Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，421-436（2009）。理学硕士：03B35型 03B45 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛L.A.Nguyen｝和\textit｛A.Szałas｝，Lect。注释计算。科学。5663、421--436（2009年；Zbl 1250.03020） 全文： 内政部
拉杰夫·戈雷;阮林安 agent信念正则模态逻辑的解析无割表。 （英语） Zbl 1175.68435号 Sadri，Fariba（编辑）等人，《多智能体系统中的计算逻辑》。第八届国际研讨会，CLIMA VIII，葡萄牙波尔图，2007年9月10日至11日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-540-88832-1/pbk）。计算机科学课堂讲稿5056。人工智能课堂讲稿，268-287（2009）。理学硕士：68T27型 03年2月25日 03B35型 03B42号 03B45 05年3月 68T42型 PDF格式BibTeX公司 XML格式引用 \textit｛R.Goré｝和\textit｛L.A.Nguyen｝，Lect。注释计算。科学。5056268--287（2009年；Zbl 1175.68435） 全文： 内政部