Superposition with Lambdas

Bentkamp, Alexander; Blanchette, Jasmin Christian; Tourret, Sophie; Vukmirović, Petar; Waldmann, Uwe

doi:10.1007/s10817-021-09595-y

アイテム詳細

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

一時保存へ追加

このアイテムの新しいバージョンが利用可能です:
https://pure.mpg.de/pubman/item/item_3341437_3

詳細要約

公開

学術論文

Superposition with Lambdas

MPS-Authors

/persons/resource/persons183227

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

/persons/resource/persons217397

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

/persons/resource/persons45689

Waldmann, Uwe
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_Article_SuperpositionWithLambdas.pdf
(出版社版), 881KB

付随資料 (公開)

There is no public supplementary material available

引用

Bentkamp, A., Blanchette, J. C., Tourret, S., Vukmirović, P., & Waldmann, U. (2021). Superposition with Lambdas. Journal of Automated Reasoning, 65, 893-940. doi:10.1007/s10817-021-09595-y.

引用: https://hdl.handle.net/21.11116/0000-0009-2B35-C

要旨

要旨はありません