Superposition for Full Higher-order Logic

Bentkamp, Alexander; Blanchette, Jasmin; Tourret, Sophie; Vukmirović, Petar

doi:10.1007/978-3-030-79876-5_23

アイテム詳細

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

一時保存へ追加

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

公開

会議論文

Superposition for Full Higher-order Logic

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.

フルテキスト (公開)

Bentkamp2021_Chapter_SuperpositionForFullHigher-ord(1).pdf
(出版社版), 342KB

付随資料 (公開)

There is no public supplementary material available

引用

Bentkamp, A., Blanchette, J., Tourret, S., & Vukmirović, P. (2021). Superposition for Full Higher-order Logic. In A., Platzer, & G., Sutcliffe (Eds.), Automated Deduction - CADE 28 (pp. 396-412). Berlin: Springer. doi:10.1007/978-3-030-79876-5_23.

引用: https://hdl.handle.net/21.11116/0000-0009-3F7F-4

要旨

要旨はありません