Logic and Computation: Essays in Honour of Amilcar Sernadas

Conținutul cărții:

Acest volum celebrează contribuțiile științifice extrem de semnificative și originale ale lui Am lcar Sernadas (1952--2017), precum și cariera sa academică remarcabilă.

Această compilație de articole scrise de colegi, foști studenți și prieteni a fost pregătită în lunile care au urmat Conferinței în onoarea lui Am lcar, care a avut loc la Instituto Superior T cnico în aprilie 2016, pentru a sărbători cea de-a 64-a aniversare a acestuia.