๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Formulas for calculating supremal controllable and normal sublanguages

โœ Scribed by R.D. Brandt; V. Garg; R. Kumar; F. Lin; S.I. Marcus; W.M. Wonham

Publisher
Elsevier Science
Year
1990
Tongue
English
Weight
349 KB
Volume
15
Category
Article
ISSN
0167-6911

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Calculating formulas for fatigue crack p
Calculating formulas for fatigue crack propagation rate and the threshold stress intensity factor
โœ De-Lin Ma ๐Ÿ“‚ Article ๐Ÿ“… 1982 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 75 KB

When these data are applied to the formula derived by M. A. Schroedl and C. W. Smith, the stress intensity factor K, can be calculated. Comparing this computed K, with that given by theoretical formula, we have found the error to be within t 5.20%. It is believed that the result of this test has met

Decision procedures for elementary subla
Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions
โœ M. Breban; A. Ferro; E. G. Omodeo; J. T. Schwartz ๐Ÿ“‚ Article ๐Ÿ“… 1981 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 801 KB

In this paper we describe a simple semi-decision algorithm applicable to a wide class of quantified formulas. The formulas we consider are built using the propositional connectives from prenex formulas in a language for which a decision algorithm for the corresponding quantifier-free theory T is ava