✦ LIBER ✦

A top-down proof procedure for generalized data dependencies

✍ Scribed by Stéphane Coulondre

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A generalized procedure for reducing int

✍ W.P. Partridge Jr.; M. Keyhani 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 642 KB

The Revised Transliminality Scale: Relia

✍ Rense Lange; Michael A. Thalbourne; James Houran; Lance Storm 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 167 KB

A general proof rule for procedures in p

✍ Alain J. Martin 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 522 KB

A procedure for generating time-dependen

✍ George S. Fishman; Edward P. C. Kao 📂 Article 📅 1977 🏛 John Wiley and Sons 🌐 English ⚖ 345 KB

A general data dependence analysis for p

✍ Jing Zhou; Guosun Zeng 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 399 KB

A general data dependence analysis for p

✍ Jing Zhou; Guosun Zeng 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 117 KB