𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Stop-Conditions in the Definitions of Constructive Languages

✍ Scribed by Ivan Friš


Publisher
John Wiley and Sons
Year
1965
Tongue
English
Weight
646 KB
Volume
11
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Psychological Evaluation of Two Conditio
✍ M.E. SIME; T.R.G. GREEN; D.J. GUEST 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 801 KB

There is a need for empirical evaluation of programming languages for unskilled users, but it is more effective to compare specific features common to many languages than to compare complete languages. This can be done by devising micro-languages stressing the feature of interest, together with a su

On the (in)stability of quasi-static pat
✍ J. A. C. Martins; N. V. Rebrova; V. A. Sobolev 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 96 KB

A concept of stability of quasi-static paths is discussed in this paper that takes into account the existence of fast (dynamic) and slow (quasi-static) time scales in the evolution of many mechanical systems. The proposed concept is essentially a continuity property with respect to the smallness of

On the Construction of Positive Definite
✍ F.Z. Zhu 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 174 KB

Let \(Q(\sqrt{-m})\left(m>0\right.\) and square free) be an imaginary quadratic field and \(D_{m}\) its ring of integers. It is proved that if any given natural numbers \(n\) and square-free \(m\) satisfying the condition \(m \equiv 1(\bmod 4)\) and \(4 \mid n\), or \(m \equiv 2(\bmod 4)\) and \(2 \

On the Effective Construction of Compact
✍ G. Chiavassa; J. Liandrat 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 344 KB

We construct compactly supported wavelet bases satisfying homogeneous boundary conditions on the interval [0, 1]. The maximum features of multiresolution analysis on the line are retained, including polynomial approximation and tree algorithms. The case of H 1 0 ([0, 1]) is detailed and numerical va

On the Definition of Gauge Transformatio
✍ Dr. G. Sardanashvily 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 441 KB 👁 2 views

The different types of gauge transformations in gauge theory are discerned and defined in fiber bundle terms. The gauge gravitation case is analysed in order to examine various versions of the gauge gravitation theory. ## Zur Dofinition von Eichtransformationen in Eichtheorien Inhal tsu bersicht.