Showing 1 - 12 results of 12 for search 'Mendler, Michael', query time: 0.04s 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
    Is observational congruence on µ-expressions axiomatisable in equational horn logic?

    Is observational congruence on µ-expressions axiomatisable in equational horn logic? by Mendler, Michael, Lüttgen, Gerald

    Published 2007
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Formal design of a class of computers

    Formal design of a class of computers by Wang, Li-Guo, Mendler, Michael

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    A modal logic for handling behavioural constraints in formal hardware verification

    A modal logic for handling behavioural constraints in formal hardware verification by Mendler, Michael V.

    Published 1993
    Thesis Book Interlibrary loan Place Request


    Saved in:
  4. 4
    First order lax logic as a framework for constraint logic programming

    First order lax logic as a framework for constraint logic programming by Fairtlough, Matthew V., Mendler, Michael V., Walton, Matt

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Ternary simulation a refinement of binary functions or an abstraction of real-time behaviour?

    Ternary simulation a refinement of binary functions or an abstraction of real-time behaviour? by Mendler, Michael V., Fairtlough, Matthew V.

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    A modal logic for handling behavioural constraints in formal hardware verification

    A modal logic for handling behavioural constraints in formal hardware verification by Mendler, Michael V.

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Constructive circuits and the exactness of ternary simulation

    Constructive circuits and the exactness of ternary simulation by Mendler, Michael, Shiple, Thomas R., Berry, Gérard

    Published 2006
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Constructive semantics for instantaneous reactions

    Constructive semantics for instantaneous reactions by Aguado, Joaquin, Mendler, Michael

    Published 2005
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Konstruktive Ansätze zur Verbindung von Funktion und Zeit im Formalen Systementwurf Habilitationsveröffentlichungen und Zusammenfassung

    Konstruktive Ansätze zur Verbindung von Funktion und Zeit im Formalen Systementwurf Habilitationsveröffentlichungen und Zusammenfassung by Mendler, Michael V.

    Published 1998
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits

    A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits by Mendler, Michael V.

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Abstraction of hardware construction

    Abstraction of hardware construction by Wang, Li-Guo, Mendler, Michael

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Intuitionistic modal logic and applications (IMLA '02) workshop proceedings : LICS satellite workshop to the 3rd Federated Logic Conference (FLoC'02), Copenhagen, DK, 26 July 2002.

    Intuitionistic modal logic and applications (IMLA '02) workshop proceedings : LICS satellite workshop to the 3rd Federated Logic Conference (FLoC'02), Copenhagen, DK, 26 July 2002.

    Published 2002
    Other Authors:
    Indexes
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: