玛丽亚姆·贝里亚什维利;Dundua，贝西克 序列和上下文上的表达式的约束求解器。 （英语） Zbl 1353.68248号 Nguyen，Thanh Binh（编辑）等人，《知识工程的高级计算方法》。第四届计算机科学、应用数学和应用国际会议论文集，2016年5月2日至3日，奥地利维也纳。Cham:Springer（ISBN 978-3-319-38883-0/pbk；978-3-3169-38884-7/ebook）。《智能系统与计算进展》453115-127（2016）。 摘要：在本文中，我们提出了一种求解未分类项、上下文和序列上的等式约束的算法。未排序项是在没有固定arity的函数符号上构造的。对于某些函数符号，参数的顺序很重要（有序符号）。对于其他一些符号，这种顺序是不相关的（无序符号）。上下文是未分类的术语，只出现一个孔。序列由未分类的术语和上下文组成。术语变量代表单个未分类术语，序列变量代表序列，上下文变量代表上下文，函数变量代表函数符号。我们设计了一个终止的和不完全的约束求解算法，并指出了该算法是完整的一个片段。关于整个系列，请参见[Zbl 1350.68016号]. 理学硕士： 第68页第15页 定理证明（演绎、解析等）（MSC2010） 68瓦30 符号计算和代数计算 软件：数学软件 PDF格式BibTeX公司 XML格式引用 \textit{M.Beriashvili}和\textit{B.Dundua}，高级情报。系统。计算。453115--127（2016；Zbl 1353.68248） 全文： 内政部 参考文献： 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。