Logic in Computer Science and in Europe
Par Arthur Milchior le mercredi 9 mars 2011, 00:52 - Recherche - Lien permanent
C'est avec un grand regret que j'ai le malheur de vous annoncer la mort de mes notes sur la logique d'ordre supérieure et d'ordre variable en théorie des modèles finis, version LICS[1] suite au refus des conférenciers de me faire payer un voyage à Toronto.
Il a donc laissé la place à la version pour CSL[2] qui a simplement changé de mise en page.
Leurs parent, l'article entier, est toujours présent.