vix.ing
·
top
·
new
·
best
·
stats
·
spec
A Higher-Order Vampire (Short Paper)
2024/04/24 by
Bhayat, Ahmed
,
Suda, Martin
· 4 citations
#03B16
#03B35
#68V15
#FOS: Computer and information sciences
#Logic in Computer Science (cs.LO)