𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Maximal invariant sets for restrictions of tent and unimodal maps

✍ Scribed by Carlos Gustavo Tamm de Araujo Moreira


Publisher
SP Birkhäuser Verlag Basel
Year
2001
Tongue
English
Weight
623 KB
Volume
2
Category
Article
ISSN
1575-5460

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Decision procedures for elementary subla
✍ M. Breban; A. Ferro; E. G. Omodeo; J. T. Schwartz 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 801 KB

In this paper we describe a simple semi-decision algorithm applicable to a wide class of quantified formulas. The formulas we consider are built using the propositional connectives from prenex formulas in a language for which a decision algorithm for the corresponding quantifier-free theory T is ava