5 citations · 22 across the 12 of their papers we have counts for
1 paper · 1 filter
Andréia B Avelar, André L Galdino, Flávio LC de Moura +1
This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS. The distinguishing featur…