Dmitriy Traytel

Dmitriy Traytel

Lektor - forfremmelsesprogrammet


  1. 2016
  2. Formal Languages, Formally and Coinductively

    Traytel, Dmitriy, 2016, FSCD 2016. Kesner, D. & Pientka, B. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bind 52. s. 31:1-31:17 (LIPIcs).

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

ID: 245399103