3 |
Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Equality and extensionality in automated higher-order theorem proving
|
|
|
|
BASE
|
|
Show details
|
|
|
|