search result

Cover von Efficient Full Higher-Order Unification

Efficient Full Higher-Order Unification

Year: 2020
Media group: LIPIcs
Cover von Duper

Duper

A Proof-Producing Superposition Theorem Prover for Dependent Type Theory
Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0