9th Workshop Computational Logic and Applications

KrajSerbia
MiastoNowy Sad
OrganizatorUniversity of Novi Sad
Data rozpoczęcia2016-05-26
Data zakończenia2016-05-27

Uczestnicy konferencji:

Katarzyna Grygiel - referaty:
  1. Tytuł: A natural counting of lambda terms - Rodzaj: W sesji. Płatność: Grant - projekt naukowy (NCN, ministerialny itp).
Agnieszka Łupińska - referaty:
  1. Tytuł: Parallel standard translation between Lambda Calculus and Combinatory Logic - Rodzaj: W sesji. Płatność: Grant - projekt naukowy (NCN, ministerialny itp).
Maciej Bendkowski - referaty:
  1. Tytuł: Quantitative aspects of normal-order reduction in combinatory logic - Rodzaj: W sesji. Płatność: Grant - projekt naukowy (NCN, ministerialny itp).