scientific article; zbMATH DE number 1341621
From MaRDI portal
Publication:4263170
Recommendations
- scientific article; zbMATH DE number 1303338
- Extensional higher-order paramodulation in Leo-III
- Extensional paramodulation for higher-order logic and its effective implementation Leo-III
- Paramodulation with non-monotonic orderings and simplification
- scientific article; zbMATH DE number 1763411
- Paramodulation with Well-founded Orderings
- scientific article; zbMATH DE number 2043525
- On a generalization of extended resolution
- Automata, Languages and Programming
- Higher-order semantics and extensionality
Cited in
(12)- Automated Deduction – CADE-20
- Superposition with lambdas
- Cut-elimination for quantified conditional logic
- Extensional higher-order paramodulation in Leo-III
- The higher-order prover \textsc{Leo}-II
- Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case
- Combining and automating classical and non-classical logics in classical higher-order logics
- Superposition with lambdas
- scientific article; zbMATH DE number 35423 (Why is no real title available?)
- Comparing approaches to resolution based higher-order theorem proving
- Superposition with first-class booleans and inprocessing clausification
- scientific article; zbMATH DE number 1552534 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4263170)
