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

The finite model property and recursive bounds on the size of countermodels

โœ Scribed by Dolph Ulrich

Publisher
Springer Netherlands
Year
1983
Tongue
English
Weight
173 KB
Volume
12
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Upper Bounds on the Size of Obstructions
Upper Bounds on the Size of Obstructions and Intertwines
โœ Jens Lagergren ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 417 KB

We give an exponential upper bound in p 4 on the size of any obstruction for path-width at most p. We give a doubly exponential upper bound in k 5 on the size of any obstruction for tree-width at most k. We also give an upper bound on the size of any intertwine of two given trees T and T $. The boun

An application of the MTP2 property on b
An application of the MTP2 property on bounds on system reliability
โœ J. Gรฅsemyr; B. Natvig ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 100 KB ๐Ÿ‘ 2 views

This paper is concerned with the joint prior distribution of the dependent reliabilities of the components of a binary system. When this distribution is MTP 2 (Multivariate Totally Positive of Order 2), it is shown in general that this actually makes the machinery of Natvig and Eide [7] available to