Boris Düdder

Boris Düdder

Lektor


  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. s. 243-258 16 s. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 16).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

ID: 172785813