𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reverse function, reverse program, and reverse theorem in mathematical programming

✍ Scribed by Seiichi Iwamoto

Publisher
Elsevier Science
Year
1983
Tongue
English
Weight
731 KB
Volume
95
Category
Article
ISSN
0022-247X

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Lebesgue Convergence Theorems and Revers
Lebesgue Convergence Theorems and Reverse Mathematics
✍ Xiaokang Yu πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 650 KB

## Abstract Concepts of __L__^1^ space, integrable functions and integrals are formalized in weak subsystems of second order arithmetic. They are discussed especially in relation with the combinatorial principle WWKL (weak‐weak KΓΆnig's lemma and arithmetical comprehension. Lebesgue dominated conver

Linear programs in a simple reversible l
Linear programs in a simple reversible language
✍ Armando B. Matos πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 141 KB

Very simple reversible programming languages can be useful for the study of reversible transformations. For this purpose we deΓΏne simple reversible language (SRL), a very simple reversible language, and analyse its properties. The language SRL is similar to the "loop" languages that have been used b