程序代数中的限制
Restriction in Program Algebra
摘要：
我们提出了公理化的部分功能签名，包括域的限制，建模为一个正常的带操作。考虑的其他操作是覆盖和更新，差异，减去，交叉，组合和域，所有这些都在计算机科学中找到动机。所有的公理化都是有限的，其中许多是等式的。
英文摘要：
We present axiomatisations for a number of partial function signatures that include domain restriction, modelled as a right normal band operation. Other operations considered are override and update, difference, minus, intersection, composition and domain, all of which find motivation in computer science. All axiomatisations found are finite, many of them equational.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
