Advertisement

CEC: A system for the completion of conditional equational specifications

  • Hubert Bertling
  • Harald Ganzinger
  • Renate Schäfers
Part 2 System Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 308)

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Hubert Bertling
    • 1
  • Harald Ganzinger
    • 1
  • Renate Schäfers
    • 1
  1. 1.Fachbereich InformatikUniversität DortmundDortmund 50W. Germany

Personalised recommendations