马塞洛·F·弗里亚斯。；阿曼多·海伯勒（Armando M.Haeberer）。；保罗·A·S·维洛索。 fork代数的有限公理化。 （英语） Zbl 0873.03052号 日志。J.IGPL公司 5，第3期，311-319（1997）. 从作者的结论来看：已经发现真叉代数类（PFA）及其抽象对应类（AFA）对于从规范（……）派生程序很有用。对（一些）完全类和原子类（…）建立了可表示性。在本文中，我们通过删除以前使用的假设，定义了不同类别的PFA和AFA。我们表明该类具有以下属性：–可代表性：每个AFA与某些PFA同构；–基于有限的多样性：PFA在同构下的闭包可由有限数量的方程公理化；–适当的抽象：每个PFA都是一个AFA。审核人：S.Rudeanu（布库雷什蒂） 引用于三文件 MSC公司： 03G15年 柱代数和多代数；关系代数 60年第68季度 规范和验证（程序逻辑、模型检查等） 68号01 软件理论的一般主题 关键词：有限公理化；关系代数；fork代数；从规范派生程序；可代表性；有限基簇；适当抽象 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Frias}等人，日志。J.IGPL 5，编号3311-319（1997年；Zbl 0873.03052） 全文： 内政部