Showing 1 - 7 results of 7 for search 'Wirth, Claus-Peter', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Inductive theorem proving in theories specified by positive/negative conditional equations

    Inductive theorem proving in theories specified by positive/negative conditional equations by Wirth, Claus-Peter, Kühler, Ulrich

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Writing positive - negative conditional equations conveniently

    Writing positive - negative conditional equations conveniently by Wirth, Claus-Peter, Lunde, Rüdiger

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Syntactic confluence criteria for positive / negative conditional term rewriting systems

    Syntactic confluence criteria for positive / negative conditional term rewriting systems by Wirth, Claus-Peter

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    A constructor-based approach for positive negative conditional equational specifications

    A constructor-based approach for positive negative conditional equational specifications by Wirth, Claus-Peter, Gramlich, Bernhard

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Lyonel Feiningers Schaffensprozess von Natur-Notizen ohne Nostalgie zum Kubismus in Umpferstedt, Hohen Häusern und der Gelben Dorfkirche

    Lyonel Feiningers Schaffensprozess von Natur-Notizen ohne Nostalgie zum Kubismus in Umpferstedt, Hohen Häusern und der Gelben Dorfkirche by Wirth, Claus-Peter

    Published 2023
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  6. 6
    Positive - negative conditional equations a constructor-based framework for specification and inductive theorem proving

    Positive - negative conditional equations a constructor-based framework for specification and inductive theorem proving by Wirth, Claus-Peter

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    ASF + eine ASF-ähnliche Spezifikationssprache

    ASF + eine ASF-ähnliche Spezifikationssprache by Lunde, Rüdiger, Wirth, Claus-Peter

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: