Theoretical Computer Science

Research Output 1993 2019

Filter
Editorial
2019

Selected Extended Papers of ITP 2016: Preface

Blanchette, J. C. & Merz, S., Feb 2019, In : Journal of Automated Reasoning. 62, 2, p. 169-170 2 p.

Research output: Contribution to JournalEditorialAcademicpeer-review

2018

Introduction to Milestones in Interactive Theorem Proving

Avigad, J., Blanchette, J. C., Klein, G., Paulson, L., Popescu, A. & Snelting, G., Jun 2018, In : Journal of Automated Reasoning. 61, 1-4, p. 1-8 8 p.

Research output: Contribution to JournalEditorialAcademicpeer-review