Showing 1 - 5 results of 5 for search 'Elbl, Birgit', 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
    Cut elimination for a calculus with context dependent rules

    Cut elimination for a calculus with context dependent rules by Elbl, Birgit

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Proving total correctness of programs in weak second-order logic

    Proving total correctness of programs in weak second-order logic by Berghammer, Rudolf 1952-, Elbl, Birgit, Schmerl, Ulf Roland 1946-

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Proving total correctness of programs in weak second-order logic

    Proving total correctness of programs in weak second-order logic by Berghammer, Rudolf 1952-, Elbl, Birgit, Schmerl, Ulf Roland 1946-

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Lazy list comprehension in logic programming

    Lazy list comprehension in logic programming by Elbl, Birgit

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Deklarative Semantik von Logikprogrammen mit PROLOGs Auswertungsstrategie

    Deklarative Semantik von Logikprogrammen mit PROLOGs Auswertungsstrategie by Elbl, Birgit

    Published 1994
    Thesis Book Interlibrary loan Place Request


    Saved in:

Search Tools: