✦ LIBER ✦

A New Algorithm of Deducibility in the Constructive Propositional Calculusby N. N. Vorob'év

✍ Scribed by Review by: E. M. Fels

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Problem of Deducibility in the Const

✍ Review by: Andrzej Mostowski 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 196 KB

Notes on the Axiomatics of the Propositi

✍ Review by: John Bacon 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 307 KB

An O(n2) algorithm for the satisfiabilit

✍ V. Arvind; S. Biswas 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 217 KB

A new O(n·log n) algorithm for computing

✍ Sukhamay Kundu 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 441 KB

A parallel O(log n) algorithm for the dr

✍ R. Sommerhalder; S.C. Van Westrhenen 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 477 KB

Constructive interference in the steady

✍ Carlton J. Zdanski; Suresh K. Mukherji; Vincent N. Carrasco 📂 Article 📅 1997 🏛 SAGE Publications 🌐 English ⚖ 119 KB