Filters








2 Hits in 6.3 sec

Automatic verification and interactive theorem proving [article]

Andrea Asperti
2017 arXiv   pre-print
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.  ...  In Automated Deduction - CADE-11, 11th International 26 AUTOMATIC VERIFICATION AND INTERACTIVE THEOREM PROVING Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15- 18, 1992,  ... 
arXiv:1701.03602v1 fatcat:rrerd5bdlvhh5edx7kwgorftpy

Relative induction principles for type theories [article]

Rafaël Bocquet and Ambrus Kaposi and Christian Sattler
2021 arXiv   pre-print
We rely on the internal language of presheaf categories. In order to combine the internal languages of multiple presheaf categories, we use Dependent Right Adjoints and Multimodal Type Theory.  ...  In Harald Ganzinger, editor, Automated Deduction -CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, volume 1632 of Lecture Notes in Computer  ...  In 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pages 204-213.  ... 
arXiv:2102.11649v2 fatcat:abnprqczb5czpgzmvdbys2uca4