Status, Abstract

Rudolf Berghammer

Institut für Informatik und Praktische Mathematik
Christian-Albrechts-Universität zu Kiel

RELVIEW and RATH - Two Systems for Dealing with Relations

.pdf .bib

Has appeared as contribution pp. 1-16 to
Harrie de Swart, Ewa Orlowska, Marc Roubens, Gunther Schmidt (eds.):
Relational Methods in Computer Science, Lect. Notes in Comput. Science 2929
ISSN 0302-9743, ISBN 3-540-20780-5

Michael Winter

Computer Science Department, Brock University, St. Catharines, Ontario, Canada

Gunther Schmidt

Department of Computing Science
University of the Federal Armed Forces Munich
85577 Neubiberg, Germany

October 2003

In this paper we present two systems for dealing with relations, the RelView and the Rath system. After a short introduction to both systems we exhibit their usual domain of application by presenting some typical examples.