Logic and Computation: Essays in Honour of Amilcar Sernadas

ISBN-13: 9781848902480 / Angielski / Miękka / 2017 / 368 str.

Paula Gouveia;Carlos Caliero;Francisco Donisio

Opis

This volume celebrates AmIlcar Sernadas' (1952--2017) highly significant and original scientific contributions, as well as his outstanding academic career. This compilation of articles by colleagues, former students and friends was prepared in the months that followed the Conference in Honour of AmIlcar, which was held at the Instituto Superior TEcnico in April 2016, to celebrate his 64th birthday.