✦ LIBER ✦

An O ( n log n ) -Space Decision Procedure for Intuitionistic Propositional Logic

✍ Scribed by HUDELMAIER, JÖRG

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An O(nlog n)-SPACE Decision Procedure fo

✍ Guido Fiorino 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 154 KB

An O(n log n)-Space Decision Procedure f

✍ Luca Viganò 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 277 KB

A Relativization Procedure for Propositi

✍ Review by: W. E. Singletary 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 340 KB