✦ LIBER ✦

Bibliography on Realizability

✍ Scribed by Lars Birkedal

Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 765 KB
Volume: 23
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00103-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the quantifier of limiting realizabil

On the quantifier of limiting realizability

✍ N. A. Shanin 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 510 KB

Confined modified realizability

✍ Gilda Ferreira; Paulo Oliva 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 156 KB

## Abstract We present a refinement ofthe bounded modified realizability which provides both upper and lower bounds for witnesses. Our interpretation is based on a generalisation of Howard/Bezem's notion of strong majorizability. We show how the bounded modified realizability coincides with (a weak

Physical realizability conditions

✍ Malcolm K. Brachman; J. Ross Macdonald 📂 Article 📅 1956 🏛 Elsevier Science ⚖ 67 KB

## Physical realizability conditions P e 1 z e r 1) has recently called in question a statement in earlier work 2) of the present authors wherein it is mentioned that the usual conditions for physical realizability on Q(co), the reduced polarization or network function, are too restricted. The pr

Process Realizability: (Abstract)

✍ Samson Abramsky 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 125 KB

Realizability of Graphs

✍ Maria Belk; Robert Connelly 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 173 KB

On the realizability of fundamental circ

On the realizability of fundamental circuit matrices

✍ Yoji Kajitani 📂 Article 📅 1970 🏛 Elsevier Science 🌐 English ⚖ 672 KB

This paper presents a necessary and sufltcient condition for the realizability of the fundamental circuit matrix without construction of the corresponding graph. The result affords an eficient algorithm of realizing the graphs with a given fundamental circuit matrix. The idea is mainly based upon th