𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A solution to Curry and Hindley’s problem on combinatory strong reduction

✍ Scribed by Pierluigi Minari

Publisher
Springer
Year
2008
Tongue
English
Weight
333 KB
Volume
48
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The solution to an extremal problem on b
The solution to an extremal problem on balanced extensions of graphs
✍ A. Ruciński; A. Vince 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 694 KB

## Abstract For __n__ sufficiently large the order of a smallest balanced extension of a graph of order __n__ is, in the worst case, ⌊(__n__ + 3)^2^/8⌋. © 1993 John Wiley & Sons, Inc.

On the solution of a complex eigenvalue
On the solution of a complex eigenvalue problem of Sturm—Liouville Type and application to periodic internal turbulent flow
✍ W.S. Kim; M.N. Ozisik; M.D. Mikhailov 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 645 KB

Complex eigenwdue problems are encountered in the solution of mung engineering problems; but no work appears to be available ,f?w solving such problems directly in the comp1e.u domuin. In this study, u methodology is presented@ solving such problems directly in the complex domuin by utilizing CI sho