✦ LIBER ✦

Monadic recursion schemes: The effect of constants

✍ Scribed by Emily P. Friedman; Sheila A. Greibach

Publisher: Elsevier Science
Year: 1979
Tongue: English
Weight: 813 KB
Volume: 18
Category: Article
ISSN: 0022-0000
DOI: 10.1016/0022-0000(79)90034-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The tree equivalence of linear recursion

The tree equivalence of linear recursion schemes

✍ V. Sabelfeld 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 206 KB

In the paper, a complete system of transformation rules preserving the tree equivalence and a polynomial-time algorithm deciding the tree equivalence of linear polyadic recursion schemes are proposed. The algorithm is formulated as a sequential transformation process which brings together the scheme

The recursive sets in certain monadic se

The recursive sets in certain monadic second order fragments of arithmetic

✍ Siefkes, Dirk 📂 Article 📅 1975 🏛 Springer-Verlag ⚖ 593 KB

Another simplification of the recursion

Another simplification of the recursion scheme

✍ Georgieva, N. 📂 Article 📅 1977 🏛 Springer-Verlag ⚖ 125 KB

On the(epsilon)-constants of arithmetic

On the(epsilon)-constants of arithmetic schemes

✍ T. Chinburg; B. Erez; G. Pappas; M.J. Taylor 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 213 KB

Negative Results on the Reduction of the

Negative Results on the Reduction of the Recursion Scheme

✍ Benedetto Intrigila 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 250 KB

Direct computation of quantal rate const

Direct computation of quantal rate constants: Recursive development of the flux autocorrelation function

✍ Robert E. Wyatt 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 454 KB