13 citations · 50 across the 19 of their papers we have counts for
Showing 2022 · cs.LOShow all
2 papers · 2 filters
cs.LO2022★ 1 cited
One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
David M. Cerna, Michal Buran
Generalization techniques have many applications, including template construction, argument generalization, and indexing. Modern interactive provers can exploit advancement in gene…
cs.LO2022★ 1 cited
A Special Case of Schematic Syntactic Unification
David M. Cerna
We present a unification problem based on first-order syntactic unification which ask whether every problem in a schematically-defined sequence of unification problems is unifiable…