Foreword

DOI10.1016/J.TCS.2018.06.032zbMATH Open1398.00101OpenAlexW4207007395MaRDI QIDQ5895066FDOQ5895066

Authors:

Publication date: 26 July 2018

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2018.06.032

Recommendations

• Preface to the special issue dedicated to Glynn Winskel on the occasion of his sixtieth birthday
• Special issue in honor of Arie Hordijk. Editorial introduction
• Enjoying to work
• Editorial
• Special issue in honor of Nicholas C. Yannelis. II

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited In (4)

• Preface. A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday
• The work of Fred Cohen
• Preface to the special issue dedicated to Glynn Winskel on the occasion of his sixtieth birthday
• Editorial. On being a PhD student of Robert Harper

This page was built for publication: Foreword

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5895066)