重新查看

RelView系统是一个交互式工具,用于计算机支持操作以布尔矩阵或有向图表示的关系,特别是用于关系规范和程序的原型。它是由基尔基督教阿尔布雷希茨大学计算机科学系开发的。这个网页描述了如何获取RelView并提供了一些进一步的信息。


zbMATH中的参考文献(参考 101篇文章,2标准条款)

显示101的结果1到20。
按年份排序(引用)
  1. 和crisanfi-first-quantifier-2020解题
  2. Berghammer,Rudolf;Schmidt,Gunther;Winter,Michael:加密拓扑结构:计算,关系代数方法(2019)
  3. Berghammer,Rudolf;Winter,Michael:有限拓扑空间和Alexandroff空间维数的序和图论研究(2019)
  4. Cristiá,Maximiliano;Rossi,Gianfranco:有限集关系代数的集合解算器(2018)
  5. Guttmann,Walter:用Stone关系代数验证最小生成树算法(2018)
  6. Guttmann,Walter:最小生成树问题的代数框架(2018)
  7. Joosten,Stef:关系代数作为使用与号编译器的编程语言(2018)
  8. Alain,Mathieu;Desharnais,Jules:图像关系(2017)
  9. Berghammer,Rudolf:基于工具的有限拓扑空间闭包内部相关关系研究(2017)
  10. Berghammer,Rudolf;Winter,Michael:通过关系代数和\textscRelViewtool解决有限拓扑上的计算任务(2017)
  11. 古特曼,沃尔特:斯通关系代数(2017)
  12. Joosten,Stef:与和和的关系代数软件开发(2017)
  13. Killingbeck,Dylan;Teixeira,Milene Santos;Winter,Michael:线性代数中的关系(2017)
  14. Berghammer,Rudolf;Danilenko,Nikita;Höfner,Peter;Stucke,Insa:与应用关系的基数(2016)
  15. 关系算法(Peter Ghammer,和Bercker approximation;Peter Ghammer,2016)
  16. Guttmann,Walter:Prim最小生成树算法的关系代数验证(2016)
  17. Jaskolka,Jason;Khedri,Ridha:基于沟通潜力分析的缓解秘密渠道(2016)
  18. Polyakovskiy,S.;Berghammer,R.;Neumann,F.:通过整数规划解决投票系统中的硬控制问题(2016年)
  19. Berghammer,Rudolf:列式可扩展向量表达式和集合集的关系计算(2015)
  20. Berghammer,Rudolf;Fischer,Sebastian:结合关系代数和数据精化为自反传递闭包开发基于矩形的函数程序(2015)

更多出版物请访问:https://www.informatik.uni kiel.de/~progsys/relview/papers