Ulrich Berger

Election poster (1976) Ulrich Berger (October 24, 1921 – January 21, 2003) was a German politician of the Christian Democratic Union (CDU) and former member of the German Bundestag. Provided by Wikipedia
Showing 1 - 5 results of 5 for search 'Ulrich Berger', query time: 0.03s Refine Results
  1. 1
    Strong normalisation for applied lambda calculi

    Strong normalisation for applied lambda calculi by Ulrich Berger

    Published 2005-10-01
    Get full text
    Article
  2. 2
    From coinductive proofs to exact real arithmetic: theory and applications

    From coinductive proofs to exact real arithmetic: theory and applications by Ulrich Berger

    Published 2011-03-01
    Get full text
    Article
  3. 3
    Double Blind Peer-Review in Games

    Double Blind Peer-Review in Games by Ulrich Berger, Martyn Rittman

    Published 2015-12-01
    Get full text
    Article
  4. 4
    Computing with Infinite Objects: the Gray Code Case

    Computing with Infinite Objects: the Gray Code Case by Dieter Spreen, Ulrich Berger

    Published 2023-07-01
    Get full text
    Article
  5. 5
    Extracting verified decision procedures: DPLL and Resolution

    Extracting verified decision procedures: DPLL and Resolution by Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg, Monika Seisenberger

    Published 2015-03-01
    Get full text
    Article

Search Tools: