ENGLISH

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

By Christian Urban , Xingyuan Zhang (eds.)

Book information

Publisher
Springer International Publishing
Year
2015
ISBN
978-3-319-22101-4, 978-3-319-22102-1
DOI
10.1007/978-3-319-22102-1
Language
english
Format
PDF
Filesize
13 MB (14044626 bytes)
Series
Lecture Notes in Computer Science 9236
Edition
1
Pages
XI, 469\479
Time added
2016-03-14 21:35:01
Mathematical Logic and Formal Languages; Artificia

Description

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

Similar books