Foreword

DOI10.1016/J.TCS.2018.06.032MaRDI QIDQ5895066zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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)