๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Linear Time Computable Problems and Logical Descriptions

โœ Scribed by Detlef Seese


Book ID
104445341
Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
620 KB
Volume
2
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Linear logic and elementary time
โœ Vincent Danos; Jean-Baptiste Joinet ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 265 KB
Solving problems by formula manipulation
โœ Louis Hodes ๐Ÿ“‚ Article ๐Ÿ“… 1972 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 650 KB

Using formal logic, many iproblems from the general area of linear inequalities co~ be expressed in the elementary theory of addition on the real numbers (EAR). We describe a method for eliminatit~ quantiflers in EAR which has been programmed arm demonstrate its usefulness in solving some problems r