Skip to main content
SpringerLink
Log in

RELVIEW — A Computer System for the Manipulation of Relations

  • Conference paper
Book cover Algebraic Methodology and Software Technology (AMAST’93)

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

People working with relations very often use a greater or smaller example and manipulate it with pencil and paper in order to prove or disprove some property. For supporting such a task by machine, the RELVIEW system ([3]) has been constructed at the Bundeswehr-University Munich.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Abold-Thalmann H., Berghammer R., Schmidt G.: Manipulation of concrete relations: The RELVIEW-system. Report Nr. 8905, Fakultät für Informatik, Universität der Bundeswehr München (1989)

    Google Scholar 

  2. Berghammer R.: Computing the cut completion of a partially ordered set—An example for the use of the RELVIEW-system. Report Nr. 9205, Fakultät für Informatik, Universität der Bundeswehr München (1992)

    Google Scholar 

  3. Berghammer, R., Schmidt, G.: The RELVIEW-system. In: Choffrut C., Jantzen M. (eds.): Proc. STACS’ 91, LNCS 480, Springer, 535–536 (1991)

    Google Scholar 

  4. Berghammer R., Schmidt G., Zierer H.: Symmetric quotients and domain constructions. Inform. Proc. Letters 33, 3, 163–168 (1989/90)

    Google Scholar 

  5. Brethauer R.: Ein Formelmanipulationssystem zur computergestützten Beweisführung in der Relationenalgebra. Diplomarbeit, Fakultät für Informatik, Universität der Bundeswehr München (1991)

    Google Scholar 

  6. Zierer H.: Relation algebraic domain constructions. Theoret. Comput. Sci. 87, 163–188 (1991)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fakultät für Informatik, Universität der Bundeswehr München, Werner-Heisenberg-Weg 39, D-85577, Neubiberg, Germany

    Rudolf Berghammer & Gunther Schmidt

Authors
  1. Rudolf Berghammer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gunther Schmidt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LITP, Université Paris VII, 2 Place Jussieu, 75251, Paris-Cedex 05, France

    Maurice Nivat

  2. Department of Computing Science, University of Stirling, Stirling, FK9 4LA, Scotland, UK

    Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math.

  3. Department of Computer Science, University of Iowa, Iowa City, IA, 52242, USA

    Teodor Rus PhD

  4. Fac. Informatica, University of Twente, PO Box 217, NL-7500 AE, Enschede, The Netherlands

    Giuseppe Scollo PhD

Rights and permissions

Reprints and permissions

Copyright information

© 1994 British Computer Society

About this paper

Cite this paper

Berghammer, R., Schmidt, G. (1994). RELVIEW — A Computer System for the Manipulation of Relations. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds) Algebraic Methodology and Software Technology (AMAST’93). Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3227-1_43

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3227-1_43

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19852-9

  • Online ISBN: 978-1-4471-3227-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation