✦ LIBER ✦

A simple fixed point characterization of three-valued stable model semantics

✍ Scribed by S. Bonnier; U. Nilsson; T. Näslund

Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 755 KB
Volume: 40
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(91)90012-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new characterization of three-dimensio

A new characterization of three-dimensional simple points

✍ Gilles Bertrand; Grégoire Malandain 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 486 KB

Multiple fixed-sign solutions for a syst

Multiple fixed-sign solutions for a system of higher order three-point boundary-value problems with deviating arguments

✍ Patricia J.Y. Wong 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 352 KB

We consider the following system of higher order three-point boundary-value problems where i = 1, 2, . . . , n, m i ≥ 3, 1 2 (a + b) < t \* < b, ξ ≥ 0, δ > 0 and φ i 's are deviating arguments. Several criteria are offered for the existence of three fixed-sign solutions (u 1 , u 2 , . . . , u n ) o