𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Roots of differentiable functions of one real variable

✍ Scribed by Klaus Reichard


Publisher
Elsevier Science
Year
1980
Tongue
English
Weight
228 KB
Volume
74
Category
Article
ISSN
0022-247X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The Complexity of McNaughton Functions o
✍ Stefano Aguzzoli πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 236 KB

McNaughton functions play the same role in Łukasiewicz logics as Boolean functions do in classical logic. Formulas in one variable are an important ingredient of automated deduction in many-valued logics: the aim of this paper is to establish some results on the complexity of the problems of functio