Author:
Berghammer Rudolf,Rusinowska Agnieszka,de Swart Harrie
Subject
Information Systems and Management,Management Science and Operations Research,Modeling and Simulation,General Computer Science,Industrial and Manufacturing Engineering
Reference15 articles.
1. RelView – A system for calculation with relations and relational programming;Behnke,1998
2. Deriving relational programs for computing kernels by reconstructing a proof of Richardson’s theorem;Berghammer;Science of Computer Programming,2000
3. Relation-algebraic analysis of Petri nets with RelView;Berghammer,1996
4. Implementation of relational algebra using binary decision diagrams;Berghammer,2002
5. R. Berghammer, G. Schmidt, M. Winter, RelView and Rath – Two systems for dealing with relations, in: [14], 2003, pp. 1–16.
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献