罗查,蒂亚戈·阿尔维斯;阿娜·特蕾莎·马丁斯;弗朗西伯·马丁斯·费雷拉 用EF游戏和SAT从不一致的字符串样本合成无量词DNF句子。 (英语) Zbl 1460.68099号 西奥。计算。科学。 843, 115-135 (2020).MSC公司:68T20型 03C13号机组 68问题32 2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Rocha}等人,Theor。计算。科学。843115-135(2020年;兹比尔1460.68099) 全文: 内政部
罗查,蒂亚戈·阿尔维斯;阿娜·特蕾莎·马丁斯;弗朗西伯·马丁斯·费雷拉 使用Ehrenfeucht-Fraísse游戏从字符串样本合成DNF公式。 (英语) Zbl 1436.68154号 西奥。计算。科学。 805, 109-126 (2020).MSC公司:68问题32 03B70号 03C07号机组 03C13号机组 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Rocha}等人,Theor。计算。科学。805109--126(2020年;Zbl 1436.68154) 全文: 内政部
阿尔夫·罗查,蒂亚戈;阿娜·特蕾莎·马丁斯;弗朗西科尔·马丁斯·费雷尔 用最小量词秩的一级句区分结构集。 (英语) Zbl 1434.03090号 Accattoli,Beniamino(编辑)等人,《逻辑和语义框架与应用第13次研讨会论文集》,LSFA 18,巴西福塔莱萨,2018年9月26日至28日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。344, 189-208 (2019).MSC公司:03C13号机组 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{T.Alves Rocha}等人,《电子》。注释Theor。计算。科学。344189-208(2019年;Zbl 1434.03090) 全文: 内政部
罗查,蒂亚戈·阿尔维斯;阿娜·特蕾莎·马丁斯;弗朗西克勃·马丁斯·费雷拉 找到与字符串样本一致的一阶句子。 (英语) Zbl 1528.68198号 Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)277220-234(2018)。MSC公司:65年第68季度 03C13号机组 05年3月 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Rocha}等人,《电子》。程序。西奥。计算。科学。(EPTCS)277220--234(2018;Zbl 1528.68198) 全文: arXiv公司 链接