𝔖 Bobbio Scriptorium

✦ LIBER ✦

An O(|T|3) algorithm for testing the Church-Rosser property of thue systems

✍ Scribed by D. Kapur; M.S. Krishnamoorthy; R. McNaughton; P. Narendran

Publisher: Elsevier Science
Year: 1985
Tongue: English
Weight: 342 KB
Volume: 35
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(85)90008-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Theoretical investigations of magnetic p

Theoretical investigations of magnetic properties of a 3T1g − 3T1g system. An attempt at interpreting the magnetic susceptibility of WV2O6

✍ M. Drillon; L. Padel; J.C. Bernier 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 703 KB

Experimental designs applied to hydrothe

Experimental designs applied to hydrothermal synthesis of zeolite ERI+OFF (T) in the Na2O–K2O–Al2O3–SiO2–H2O system: Part 3. Mathematical models and geometrical forms of the relationship between product properties and synthesis parameters: an attempt to optimize synthesis conditions

✍ Andrzej Cichocki; Paweł Kościelniak 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 257 KB

An O(k3·log(nk)) algorithm for the conse

An O(k3·log(nk)) algorithm for the consecutive-k-out-of-n:F system: FRANK K. HWANG and PAUL E. WRIGHT. IEEE Transactions on Reliability, 44(1), 128 (March 1995)

📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 116 KB

306. An attachment to a helium cryostat

306. An attachment to a helium cryostat for the investigation of optical and photoelectric properties of semiconductors on uniaxial compression: O G Koshelev and T B Pleskacheva, Prib Tekh Eksper, 3, 1973, 273 (in Russian)

📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 143 KB