𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 16th Annual Symposium on Foundations of Computer Science (sfcs 1975) - USA (1975.10.13-1975.10.15)] 16th Annual Symposium on Foundations of Computer Science (sfcs 1975) - Decidability of equivalence, containment, intersection, and separability of context-free languages

✍ Scribed by Hunt, H. B.; Rangel, J. L.

Book ID: 124072934
Publisher: IEEE
Year: 1975
Weight: 751 KB
Category: Article
DOI: 10.1109/SFCS.1975.11

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 16th Annual Symposium on Foundatio

[IEEE 16th Annual Symposium on Foundations of Computer Science (sfcs 1975) - USA (1975.10.13-1975.10.15)] 16th Annual Symposium on Foundations of Computer Science (sfcs 1975) - A grammatical characterization of exponential-time languages

✍ Rounds, William C. 📂 Article 📅 1975 🏛 IEEE ⚖ 914 KB

[IEEE 16th Annual Symposium on Foundatio

[IEEE 16th Annual Symposium on Foundations of Computer Science (sfcs 1975) - USA (1975.10.13-1975.10.15)] 16th Annual Symposium on Foundations of Computer Science (sfcs 1975) - Fast parallel matrix inversion algorithms

✍ Csanky, L. 📂 Article 📅 1975 🏛 IEEE ⚖ 242 KB

[IEEE 16th Annual Symposium on Foundatio

[IEEE 16th Annual Symposium on Foundations of Computer Science (sfcs 1975) - USA (1975.10.13-1975.10.15)] 16th Annual Symposium on Foundations of Computer Science (sfcs 1975) - Minimean optimality in sorting algorithms

✍ Pohl, Ira 📂 Article 📅 1975 🏛 IEEE ⚖ 482 KB

[IEEE 16th Annual Symposium on Foundatio

[IEEE 16th Annual Symposium on Foundations of Computer Science (sfcs 1975) - USA (1975.10.13-1975.10.15)] 16th Annual Symposium on Foundations of Computer Science (sfcs 1975) - Flow of control in the proof theory of structured programming

✍ de Bakker, J. W. 📂 Article 📅 1975 🏛 IEEE ⚖ 667 KB

[IEEE 19th Annual Symposium on Foundatio

[IEEE 19th Annual Symposium on Foundations of Computer Science (sfcs 1978) - Ann Arbor, MI, USA (1978.10.16-1978.10.18)] 19th Annual Symposium on Foundations of Computer Science (sfcs 1978) -

✍ Pan, V. Ya. 📂 Article 📅 1978 🏛 IEEE ⚖ 869 KB

[IEEE 17th Annual Symposium on Foundatio

[IEEE 17th Annual Symposium on Foundations of Computer Science (sfcs 1976) - Houston, TX, USA (1976.10.25-1976.10.27)] 17th Annual Symposium on Foundations of Computer Science (sfcs 1976) - Geometric intersection problems

✍ Shamos, Michael Ian; Hoey, Dan 📂 Article 📅 1976 🏛 IEEE ⚖ 1011 KB