Search Results - Regensburger, Franz

  • Showing 1 – 6 results of 6
Filter by
  1. 1
    Cover Image

    The logical framework of SPECTRUM
    by Grosu, Radu, Regensburger, Franz

    Published 1994
    Book


    Saved in:
  2. 2
    Cover Image

    HOLCF: Eine konservative Erweiterung von HOL um LCF
    by Regensburger, Franz

    Published 1994
    Thesis/Dissertation Book


    Saved in:
  3. 3
    Cover Image

    Mini-statecharts: a lean version of statecharts
    by Nazareth, Dieter, Regensburger, Franz, Scholz, Peter

    Published 1996
    Table of Contents
    Book


    Saved in:
  4. 4
    Cover Image

    The calculus of SPECTRUM
    by Regensburger, Franz

    Published 1994
    Table of Contents
    Book


    Saved in:
  5. 5
    Cover Image

    The logic framework of SPECTRUM
    by Grosu, Radu, Regensburger, Franz

    Published 1994
    Order via interlibrary loan
    Book


    Saved in:
  6. 6
    Cover Image

    HOLCF: eine konservative Erweiterung von HOL um LCF
    by Regensburger, Franz

    Published 1994
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: