RELVIEW — A system for calculating with relations and relational programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1382, Issue , 1998, Pages 318-321

  Behnke, Ralf ^a   Berghammer, Rudolf ^a   Meyer, Erich ^a   Schneider, Peter ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957062460     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053599     Document Type: Conference Paper

References (6)

1. Behnke R.: Extending relational specifications by sequential algebras-Prototyping with RELVIEW. In: Berghammer R., Simon F. (eds.): Programming languages and fundamentals of programming. Report 9717, Institut für Informatik und Praktische Mathematik, Universitãt Kiel, 12-22 (1997).
2. Brink C., Kahl W., Schmidt G. (eds.): Relational methods in Computer Science. Advances in Computing Science, Springer (1997).
3. Berghammer R., von Karger B., Ulke C.: Relation-algebraic analysis of Petri nets with RELVIEW. In: Margaria T., Steffen B. (eds.): Proc. TACAS '96, LNCS 1055, Springer, 49-69 (1996).
4. Behnke R., Berghammer R., Schneider P.: Machine support of relational computations. The Kiel RELVIEW system. Report 9711, Institut für Informatik und Praktische Mathematik, Universitãt Kiel (1997).
5. Berghammer R., Schmidt G.: RELVIEW-A computer system for the manipulation of relations. In: Nivat M., et al. (eds.): Proc. AMAST '93, Workshops in Computing, Springer, 405-406 (1993).
6. Schmidt G., Ströhlein T.: Relations and graphs. Discrete Mathematics for Computer Scientists, EATCS Monographs on Theoret. Comput. Sci., Springer (1993).