Old Web
English
Sign In
Acemap
>
Paper
>
The Higher-Order Prover Leo-III (Highlight paper)
The Higher-Order Prover Leo-III (Highlight paper)
2020
Alexander Steen
Christoph Benzmüller
Keywords:
Higher-order logic
Gas meter prover
Automated reasoning
Computer science
Programming language
order
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]