理查德·伯德(Richard S.Bird)。;杰苏斯·N·拉韦洛。 关于计算代表。 (英语) Zbl 1336.68272号 信息处理。莱特。 63,编号1,1-7(1997). 摘要:许多计算问题可以被视为从给定的候选集合中选择一组代表的想法的实例。我们导出了计算一组代表的通用算法,并用两个例子说明了该解。推理是通过关系演算以无点方式进行的。 引用于2文件 MSC公司: 68周05 非数值算法 68号30 软件工程的数学方面(规范、验证、度量、需求等) 关键词:形式化程序推导;关系演算;最短路径 软件:CalcCheck(计算检查) PDF格式BibTeX公司 XML格式引用 \textit{R.S.Bird}和\textit{J.N.Ravelo},Inf.过程。莱特。63,编号1,1--7(1997;Zbl 1336.68272) 全文: 内政部 参考文献: [1] 格里斯,D。;Schneider,F.B.,《离散数学的逻辑方法》(1994),《施普林格:施普林格-柏林》 [2] Morgan,C.,《基于规范的编程》(1994),普伦蒂斯·霍尔:普伦蒂斯霍尔·恩格尔伍德克利夫斯,新泽西州·Zbl 0829.68083号 [3] G.Schmidt和T.Ströhlein,关系和图; G.Schmidt和T.Ströhlein,关系和图 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。