𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On systems of definitions, induction and recursion

✍ Scribed by Lars Hallnäs

Publisher
Springer Netherlands
Year
1992
Tongue
English
Weight
895 KB
Volume
32
Category
Article
ISSN
0006-3835

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On metrics for probabilistic systems: De
On metrics for probabilistic systems: Definitions and algorithms
✍ Taolue Chen; Tingting Han; Jian Lu 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 538 KB

In this paper, we consider the behavioral pseudometrics for probabilistic systems, which are a quantitative analogue of probabilistic bisimilarity in the sense that the distance zero captures the probabilistic bisimilarity. The model we are interested in is probabilistic automata, which are based on

On the inductive inference of recursive
On the inductive inference of recursive real-valued functions
✍ Kalvis Apsītis; Setsuo Arikawa; Rũsiņš Freivalds; Eiju Hirowatari; Carl H. Smith 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 894 KB

We combine traditional studies of inductive inference and classical continuous mathematics to produce a study of learning real-valued functions. We consider two possible ways to model the learning by example of functions with domain and range the real numbers. The first approach considers functions