scientific article; zbMATH DE number 1341621
From MaRDI portal
Publication:4263170
zbMath0937.03013MaRDI QIDQ4263170
Publication date: 29 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Cut-elimination for quantified conditional logic ⋮ The higher-order prover \textsc{Leo}-II ⋮ Extensional higher-order paramodulation in Leo-III ⋮ Combining and automating classical and non-classical logics in classical higher-order logics ⋮ Superposition with lambdas ⋮ Superposition with lambdas ⋮ Superposition with first-class booleans and inprocessing clausification
Uses Software