✦ LIBER ✦

A general theorem on the total correctness of programs in a category

✍ Scribed by Werner Struckmann

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 29 KB
Volume: 35
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80745-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A general position theorem in the poinca

A general position theorem in the poincaré duality category

✍ Norman Levitt 📂 Article 📅 1972 🏛 John Wiley and Sons 🌐 English ⚖ 339 KB

The Hahn-Banach theorem in a category of

The Hahn-Banach theorem in a category of sheaves

✍ Charles W. Burden 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 561 KB

On the generalization of a theorem of A.

On the generalization of a theorem of A. Liapounoff

✍ Jürgen Moser 📂 Article 📅 1958 🏛 John Wiley and Sons 🌐 English ⚖ 667 KB

A study on optimality and duality theore

A study on optimality and duality theorems of nonlinear generalized disjunctive fractional programming

✍ E.E. Ammar 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 299 KB

This paper is concerned with the study of necessary and sufficient optimality conditions for convex-concave generalized fractional disjunctive programming problems for which the decision set is the union of a family of convex sets. The Lagrangian function for such problems is defined and the Kuhn-Tu

A Note on Applications of the Löwenheim-

A Note on Applications of the Löwenheim-Skolem-Theorem in General Topology

✍ Ingo Bandlow 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 425 KB

L.S. category of the total space in a fi

L.S. category of the total space in a fibration and k-monomorphisms

✍ Maxence Cuvilliez 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 193 KB

Let F ι → E f B be a fibration, we focus on the relation between the homotopy invariants cat E, cat F and cat B. The general formula due to Hardie says that cat E (cat ι + 1) • (cat f + 1) -1; if the fibration is trivial, this upper bound can be replaced by cat F + cat B. In this paper, we introduce