FcaBedrock公司

此软件的关键字
zbMATH中的参考文献(参考
2篇文章
引用)
Andrews,Simon:设计计算Galois连接不动点的快速算法的“最佳”方法(2015) 西蒙·安德鲁斯;康斯坦丁诺斯孤儿院:FcaBedrock,一个正式的上下文创建者(2010) ioport公司