HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Superpsoition

Papers
A Combinator-Based Superposition Calculus for Higher-Order Logic (Technical Report)
Ahmed Bhayat and Giles Reger
EasyChair Preprint no. 3192
Copyright © 2012-2023 easychair.org. All rights reserved.