Showing 1 - 14 results of 14 for search 'Leiss, Hans', 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
    A decidable case of the semi-unification problem

    A decidable case of the semi-unification problem by Leiß, Hans, Henglein, Fritz

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Implizit definierte Mengensysteme

    Implizit definierte Mengensysteme by Leiß, Hans

    Published 1983
    Thesis Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Typsysteme funktionaler Programmiersprachen

    Typsysteme funktionaler Programmiersprachen by Leiß, Hans

    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Typsysteme funktionaler Programmiersprachen

    Typsysteme funktionaler Programmiersprachen by Leiß, Hans

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Formale Sprachen und Automaten [Vorlesung, WS 1993/94]

    Formale Sprachen und Automaten [Vorlesung, WS 1993/94] by Leiß, Hans

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Comments on Chris Mellish: graph-encodable description spaces

    Comments on Chris Mellish: graph-encodable description spaces by Leiß, Hans

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Impliziert definierte Mengensysteme

    Impliziert definierte Mengensysteme by Leiss, Hans

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Extending the type checker of SML by polymorphic recursion a correctness proof

    Extending the type checker of SML by polymorphic recursion a correctness proof by Emms, Martin, Leiß, Hans

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Formale Sprachen und Automaten Vorlesung, WS 1997/98

    Formale Sprachen und Automaten Vorlesung, WS 1997/98 by Leiß, Hans

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Bounded fixed-point definability and tabular recognition of languages

    Bounded fixed-point definability and tabular recognition of languages by Leiß, Hans

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Combining recursive and dynamic types

    Combining recursive and dynamic types by Leiß, Hans

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    A note on Comptons preservation theorems

    A note on Comptons preservation theorems by Leiß, Hans

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Implizit definierte Mengensysteme

    Implizit definierte Mengensysteme by Leiß, Hans

    Published 1983
    Thesis Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Beiträge zur Entwicklung von Stadt und Markt in Niederbayern vom 10. bis 15. Jahrhundert

    Beiträge zur Entwicklung von Stadt und Markt in Niederbayern vom 10. bis 15. Jahrhundert by Leiß, Hans

    Published 1935
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: