International Conference on Formal Structures for Computation and Deduction
| Kraj | Republika Federalna Niemiec |
|---|---|
| Miasto | Dortmund |
| Organizator | TU Dortmund |
| Data rozpoczęcia | 2019-06-24 |
| Data zakończenia | 2019-06-30 |
Uczestnicy konferencji:
Maciej Bendkowski - referaty:- Tytuł: Towards the average-case analysis of substitution resolution in λ-calculus - Rodzaj: W sesji. Płatność: Grant - projekt naukowy (NCN, ministerialny itp).