✦ LIBER ✦

A metatheorem for undecidable properties of formal languages and its application to LRR and LLR grammars and languages

✍ Scribed by Stephan Heilbrunner

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Inference of even linear grammars and it

✍ V. Radhakrishnan; G. Nagaraja 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 635 KB

A formulation for correlating properties

✍ James J. Chou 📂 Article 📅 1993 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 680 KB

On the quadratic convergence properties

✍ Satoshi Watanabe; Takeo Ojika; Taketomo Mitsui 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 644 KB

A Method for Synthesis of Bicyclo[3.3.0]

✍ Hiroaki Kashima; Tadashi Kawashima; Daisuke Wakasugi; Tsuyoshi Satoh 📂 Article 📅 2007 🏛 John Wiley and Sons ⚖ 40 KB 👁 2 views