Original language | American English |
---|---|
Pages (from-to) | 1-19 |
Number of pages | 19 |
Journal | Dagstuhl Reports |
Volume | 8 |
Issue number | 4 |
DOIs | |
State | Published - 2018 |
Program Equivalence (Dagstuhl Seminar 18151)
Shuvendu K. Lahiri, Andrzej S. Murawski, Ofer Strichman, Mattias Ulbrich
Research output: Contribution to journal › Article › peer-review