9th Workshop on Higher-Order Rewriting

KrajWielka Brytania
MiastoOxford
OrganizatorUniversité Paris 13, Sorbonne Paris Cité
Data rozpoczęcia2018-07-07
Data zakończenia2018-07-07

Uczestnicy konferencji:

Maciej Bendkowski - referaty:
  1. Tytuł: Combinatorics of explicit substitutions - Rodzaj: W sesji. Płatność: Grant - projekt naukowy (NCN, ministerialny itp).