1 |
Superposition for Lambda-Free Higher-Order Logic
|
|
|
|
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.inria.fr/hal-03485227 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), ⟨10.23638/LMCS-17(2:1)2021⟩ (2021)
|
|
BASE
|
|
Show details
|
|
4 |
Superposition for Lambda-Free Higher-Order Logic
|
|
|
|
In: IJCAR 2018 - 9th International Joint Conference on Automated Reasoning ; https://hal.inria.fr/hal-01904595 ; IJCAR 2018 - 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom (2018)
|
|
BASE
|
|
Show details
|
|
|
|