✦ LIBER ✦

Recognition of q-Horn formulae in linear time

✍ Scribed by Endre Boros; Peter L. Hammer; Xiaorong Sun

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The computational complexity of satisfia

✍ Cheng-Chia Chen; I-Peng Lin 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 627 KB

Unique satisfiability of Horn sets can b

✍ Kenneth A. Berman; John Franco; John S. Schlipf 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 960 KB

The linear time recognition of digital a

✍ Peter Damaschke 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 414 KB

On the recognition of digital circles in

✍ Peter Sauer 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 792 KB

Simple linear time recognition of unit i

✍ Derek G Corneil; Hiryoung Kim; Sridhar Natarajan; Stephan Olariu; Alan P Sprague 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 560 KB

Large change sensitivity analysis in lin

✍ J. W. Bandler; Q. J. Zhang 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 541 KB