A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Automatic verification and interactive theorem proving
[article]
2017
arXiv
pre-print
Preserved Fulltext
In Proceedings of the 23rd Interna-
tional Conference on Automated Deduction (CADE-2011), Wroclaw, Poland,
volume 6803 of LNCS, pages 64–69, 2011. ...
In 16th International Conference on
Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, volume
1632 of Lecture Notes in Computer Science, pages 202–206. ...
arXiv:1701.03602v1
fatcat:rrerd5bdlvhh5edx7kwgorftpy