✦ LIBER ✦

Proving theorems of the second order Lambek calculus in polynomial time

✍ Scribed by Erik Aarts

Publisher: Springer Netherlands
Year: 1994
Tongue: English
Weight: 725 KB
Volume: 53
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf01057934

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mechanical theorem proving in a certain

Mechanical theorem proving in a certain class of formulae of the predicate calculus

✍ Ewa Orłowska 📂 Article 📅 1969 🏛 Springer Netherlands 🌐 English ⚖ 453 KB

A Weak Constructive Second-Order Arithme

A Weak Constructive Second-Order Arithmetic with Extraction of Algorithms Computable in Polynomial Time

✍ A. P. Beltiukov 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 270 KB

On the equivalence of second order syste

On the equivalence of second order systems occurring in the calculus of variations

✍ William B. Gordon 📂 Article 📅 1973 🏛 Springer 🌐 English ⚖ 467 KB

Special Issue on Advances in First-order

Special Issue on Advances in First-order Theorem Proving Foreword of the Guest Editors

📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 73 KB

The role of first-order theorem proving as a core theme of automated deduction has been recognized since the beginning of the field, at the dawn of artificial intelligence, more than 40 years ago. Although many other logics have been developed and used in AI, deduction systems based on first-order t

The complete figure for second order mul

The complete figure for second order multiple integral problems in the calculus of variations

✍ H. S. P. Grässer 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 958 KB

The complete figure for second order mul

The complete figure for second order multiple integral problems in the calculus of variations

✍ H. S. P. Grässer 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 111 KB