Advertisement

Logics Workbench 1.0

  • Peter Balsiger
  • Alain Heuerding
  • Stefan Schwendimann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1397)

Abstract

Prover: Logics Workbench (LWB), version 1.0. See the LWB home page for more information.

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Peter Balsiger
    • 1
  • Alain Heuerding
    • 1
  • Stefan Schwendimann
    • 1
  1. 1.IAMUniversity of BernSwitzerland

Personalised recommendations