scientific article; zbMATH DE number 1341621
From MaRDI portal
Publication:4263170
zbMATH Open0937.03013MaRDI QIDQ4263170FDOQ4263170
Publication date: 29 May 2000
Title of this publication is not available (Why is that?)
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)
- Superposition with lambdas
- Cut-elimination for quantified conditional logic
- Extensional higher-order paramodulation in Leo-III
- Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case
- The higher-order prover \textsc{Leo}-II
- Superposition with lambdas
- Combining and automating classical and non-classical logics in classical higher-order logics
- Title not available (Why is that?)
- Comparing approaches to resolution based higher-order theorem proving
- Superposition with first-class booleans and inprocessing clausification
- Title not available (Why is that?)
- Automated Deduction – CADE-20
Uses Software
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)
