✦ LIBER ✦

Computability on linear orderings enriched with predicates

✍ Scribed by P. E. Alaev; J. Thurber; A. N. Frolov

Publisher: Springer US
Year: 2009
Tongue: English
Weight: 214 KB
Volume: 48
Category: Article
ISSN: 0002-5232
DOI: 10.1007/s10469-009-9067-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Initial segments of computable linear or

Initial segments of computable linear orders with additional computable predicates

✍ M. V. Zubkov 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 224 KB

First-order spectra with one binary pred

First-order spectra with one binary predicate

✍ Arnaud Durand; Solomampionona Ranaivoson 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 961 KB

Compiling techniques for first-order lin

Compiling techniques for first-order linear recurrences on a vector computer

✍ Yoshikazu Tanaka; Kyouko Iwasawa; Yukio Umetani; Shizuo Gotou 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 703 KB

Linear recurrences arc the most important class of nonvectorizable problems in typical scientific/engineering calculations. This work discusses high-performance methods for solving first-order linear recurrences on a vector computer, investigates automatic transformations, and develops compiling tec

On linear extensions of ordered sets wit

On linear extensions of ordered sets with a symmetry

✍ Bernhard Ganter; Gerhart Häfner; Werner Poguntke 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 238 KB

On second-order non-linear systems with

On second-order non-linear systems with conservative limit-cycles

✍ B.Z. Kaplan 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 656 KB

Order statistics on a linear array with

Order statistics on a linear array with a reconfigurable bus

✍ Yi Pan 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 659 KB