Showing 1 - 14 results of 14 for search 'Goerdt, Andreas', 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
    Efficient interpolation for the intuitionistic sequent calculus

    Efficient interpolation for the intuitionistic sequent calculus by Goerdt, Andreas

    Published 2000
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    A giant component threshold for random regular graphs with edge faults

    A giant component threshold for random regular graphs with edge faults by Goerdt, Andreas

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    A threshold for unsatisfiability

    A threshold for unsatisfiability by Goerdt, Andreas

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Unrestricted resolution versus N-resolution

    Unrestricted resolution versus N-resolution by Goerdt, Andreas

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Ein Hoare Kalkül für die Sprache der getypten Lambda-Terme

    Ein Hoare Kalkül für die Sprache der getypten Lambda-Terme by Goerdt, Andreas

    Published 1986
    Thesis Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Ein hoare Kalkül für die Sprache der getypten Lamoda-Terme Korrektheit, Vollständigkeit, Anwendungen

    Ein hoare Kalkül für die Sprache der getypten Lamoda-Terme Korrektheit, Vollständigkeit, Anwendungen by Goerdt, Andreas

    Published 1986
    Thesis Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Davis-Putnam resolution versus unrestricted resolution

    Davis-Putnam resolution versus unrestricted resolution by Goerdt, Andreas

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Unrestricted resolution versus N-resolution

    Unrestricted resolution versus N-resolution by Goerdt, Andreas

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Regular resolution versus unrestricted resolution

    Regular resolution versus unrestricted resolution by Goerdt, Andreas

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Cutting plane versus frege proof systems

    Cutting plane versus frege proof systems by Goerdt, Andreas

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Characterizing complexity classes by general recursive definitions in higher types

    Characterizing complexity classes by general recursive definitions in higher types by Goerdt, Andreas

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Characterizing complexity classes by higher type

    Characterizing complexity classes by higher type by Goerdt, Andreas

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Regular resolution versus unrestricted resolution

    Regular resolution versus unrestricted resolution by Goerdt, Andreas

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Davis-Putnam resolution versus unrestricted resolution

    Davis-Putnam resolution versus unrestricted resolution by Goerdt, Andreas

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: