Verified Given Clause Procedures

Blanchette, Jasmin; Qiu, Qi; Tourret, Sophie

doi:10.1007/978-3-031-38499-8_4

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

会議論文

Verified Given Clause Procedures

MPS-Authors

/persons/resource/persons183227

Blanchette, Jasmin
Automation of Logic, MPI for Informatics, Max Planck Society;

/persons/resource/persons217397

Tourret, Sophie
Automation of Logic, MPI for Informatics, Max Planck Society;

External Resource

There are no locators available

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

978-3-031-38499-8_4.pdf
(出版社版), 367KB

付随資料 (公開)

There is no public supplementary material available

引用

Blanchette, J., Qiu, Q., & Tourret, S. (2023). Verified Given Clause Procedures. In B., Pientka, & C., Tinelli (Eds.), Automated Deductions -- CADE 29 (pp. 61-77). Berlin: Springer.

引用: https://hdl.handle.net/21.11116/0000-000E-7573-D

要旨

要旨はありません