玛尔塔·阿里亚斯;JoséL.Balcázar。;Tîrnăucă,克里斯蒂娜 从闭包查询中学习确定的Horn公式。 (英语) Zbl 1356.68114号 理论。计算。科学。 658,B部分,346-356(2017)。MSC公司:68问题32 03B70号 2015年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Arias}等人,Theor。计算。科学。658,B部分,346--356(2017;Zbl 1356.68114) 全文: 内政部 arXiv公司
JoséL.Balcázar。;杰玛·加里加。 刻画内射偏序的含义。 (英语) Zbl 1213.68597号 Priss,Uta(编辑)等人,《概念结构:智能应用的知识架构》。2007年7月22日至27日在英国谢菲尔德举行的第15届国际概念结构会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73680-6/pbk)。计算机科学课堂讲稿4604。人工智能课堂讲稿,492-495(2007)。MSC公司:68立方英尺 03B05号 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Balcázar}和\textit{G.C.Garriga},莱克特。票据计算。科学。4604492-495(2007年;Zbl 1213.68597) 全文: 内政部
JoséL.Balcázar。;杰玛·加里加。 序列数据的Horn公理化。 (英语) Zbl 1108.68098号 理论。计算。科学。 371,第3期,247-264(2007)。MSC公司:68T05型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Balcázar}和\textit{G.C.Garriga},Theor。计算。科学。371,第3号,247--264(2007;Zbl 1108.68098) 全文: 内政部
JoséL.Balcázar。;杰玛卡萨斯·加里加 序列数据的Horn公理化。 (英语) Zbl 1108.68551号 Eiter,Thomas(编辑)等人,数据库理论–ICDT 2005。第十届国际会议,英国爱丁堡,2005年1月5-7日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24288-0/pbk)。《计算机科学讲义》3363215-229(2005)。MSC公司:68T05型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Balcázar}和\textit{G.Casas-Garriga},莱克特。票据计算。科学。3363、215——229(2005年;Zbl 1108.68551) 全文: 内政部
杰玛卡萨斯·加里加;JoséL.Balcázar。 闭偏序格上的余积变换。 (英语) Zbl 1116.68595号 Ehrig,Hartmut(编辑)等人,《图形变换》。2004年9月28日至10月2日在意大利罗马举行的2004年第二届国际燃气轮机会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23207-9/pbk)。计算机科学课堂讲稿3256,336-351(2004)。MSC公司:68立方英尺 2015年1月6日 2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Casas-Garriga}和\textit{J.L.Balcázar},莱克特。票据计算。科学。3256、336--351(2004;Zbl 1116.68595) 全文: 内政部