Zipperposition

MaRDI QIDQ43962swMATHFDO

Official website http://sneeuwballen.github.io/zipperposition/

Source code repository https://github.com/sneeuwballen/zipperposition/

Cited in

(19)

• Superposition with lambdas
• scientific article; zbMATH DE number 7350767 (Why is no real title available?)
• Superposition with structural induction
• Making higher-order superposition work
• Superposition with lambdas
• The embedding path order for \(\lambda\)-free higher-order terms
• scientific article; zbMATH DE number 7471678 (Why is no real title available?)
• NiVER
• StarExec
• HOT
• Lambda Free RPOs
• ZRes
• ArchSAT
• ekstrakto
• Superposition with first-class booleans and inprocessing clausification
• Superposition for full higher-order logic
• Making higher-order superposition work
• Superposition for -free higher-order logic
• qbf2epr

This page was built for software: Zipperposition