Currently displaying 1 – 1 of 1

Showing per page

Order by Relevance | Title | Year of publication

Una introducción a la W-calculabilidad: Operaciones básicas.

Buenaventura Clares Rodríguez — 1983

Stochastica

Our purpose is to introduce the W-composition, W-minimalization and W-primitive recursion operations as operations between W-valued functions, where W denotes the ordered semiring ([0,1],+,≤). We prove that: 1) the set of W-calculable functions is closed under the W-composition and W-primitice recursion operations, and 2) the set of the partially W-calculable functions is closed under the W-minimalization operation.

Page 1

Download Results (CSV)