✦ LIBER ✦

An Improved Algorithm for Deriving Checking Experiments

✍ Scribed by Braun, R.D.; Givone, D.D.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An improved algorithm to check for polyg

✍ Selim G. Akl; Godfried T. Toussaint 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 236 KB

Addendum to “an improved algorithm to ch

✍ Selim G. Akl; Godfried T. Toussaint 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 160 KB

An Optimal Algorithm for Checking Regula

✍ Kohayakawa, Y.; Rödl, V.; Thoma, L. 📂 Article 📅 2003 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 281 KB

An Improved Bound for Checking Experimen

✍ Tylaska, T.T.; Bargainer, J.D. 📂 Article 📅 1975 🏛 IEEE 🌐 English ⚖ 849 KB

An algorithm for type-checking dependent

✍ Thierry Coquand 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 678 KB

An algorithm for checking strong Nash im

✍ Suh Sang-Chul 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 860 KB