Boris Düdder

Boris Düdder

Associate Professor

Member of:


    1. 2012
    2. Bounded combinatory logic

      Duedder, Boris, Martens, M., Rehof, J. & Urzyczyn, P., 1 Dec 2012, Computer Science Logic 2012 - 26th International Workshop/21th Annual Conference of the EACSL, CSL 2012. p. 243-258 16 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 16).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    ID: 172785813