The 2018 Alonzo Church Award for Outstanding Contributions to Logic
and Computation is given jointly to Tomás Feder and Moshe Y. Vardi for
their fundamental contributions to the computational complexity of
constraint-satisfaction problems.
http://siglog.org/winners-of-the-2018-alonzo-church-award/
Para quem tem interesse em começar uma IC na área de Teoria da Recursão quais
os conceitos que tenho bem definidos na cabeça para entender bem a referida
Teoria??
Por enquanto meu professor me recomendou ler o Capítulo 10 do
livro do Prof. Walter Carnielli e Richard L. Epstein.
===
Call for papers
Logical Frameworks and Meta-Languages: Theory and Practice
LFMTP 2018
Oxford, UK, 7 July 2018
Affiliated wit
