Dmitriy Traytel

Dmitriy Traytel

Associate Professor - Promotion Programme

ORCID: 0000-0001-7982-2768

Publication year:
All
1 - 1 out of 1Page size: 50
  1. 2016

  2. Formal Languages, Formally and Coinductively

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

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

ID: 245399103