✦ LIBER ✦

Recursive functions of context free languages (I)

✍ Scribed by Yunmei Dong

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Facilitating formal specification acquis

✍ Haiming Chen; Yunmei Dong 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 304 KB

The language intersection problem for no

✍ Mark-Jan Nederhof; Giorgio Satta 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 286 KB

Practical type checking of functions def

✍ Hai-Ming Chen; Yun-Mei Dong 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 713 KB

Pattern matching compilation of function

✍ Haiming Chen; Yunmei Dong 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 537 KB

Generation, recognition and parsing of c

✍ F. P. Kaminger 📂 Article 📅 1973 🏛 Springer Vienna 🌐 English ⚖ 550 KB

Prefix and equality languages of rationa

✍ Joost Engelfriet; Hendrik Jan Hoogeboom 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 372 KB