✦ LIBER ✦

[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - A decision procedure for term algebras with queues

✍ Scribed by Rybina, T.; Voronkov, A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 13th Annual IEEE Sympo

✍ Birkedal, L.; Carboni, A.; Rosolini, G.; Scott, D.S. 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 144 KB

[IEEE Comput. Soc 13th Annual IEEE Sympo

✍ Voronkov, A. 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 279 KB