CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

The Ackermann Award 2016

Thierry Coquand (Institutionen för data- och informationsteknik, Datavetenskap (Chalmers)) ; Anuj Dawar
Leibniz International Proceedings in Informatics, LIPIcs (1868-8969). Vol. 62 (2016),
[Konferensbidrag, refereegranskat]

The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL'XX). This contribution reports on the 2016 edition of the award. © Thierry Coquand and Anuj Dawar; licensed under Creative Commons License CC-BY.

Nyckelord: Ackermann award; Computer science; Logic



Denna post skapades 2017-06-14. Senast ändrad 2017-10-05.
CPL Pubid: 249801

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)