ResearchTrend.AI
On Reductions of Hintikka Sets for Higher-Order Logic
v1v2v3 (latest)

On Reductions of Hintikka Sets for Higher-Order Logic

A. Steen
Christoph Benzmüller
    LRM
ArXiv (abs)PDFHTML

Papers citing "On Reductions of Hintikka Sets for Higher-Order Logic"

1 / 1 papers shown
Title
Extensional Higher-Order Paramodulation in Leo-III
Extensional Higher-Order Paramodulation in Leo-III
A. Steen
Christoph Benzmüller
LRM
37
25
0
26 Jul 2019

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.