Infinitary simultaneous recursion theorem
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2099/13216
Tipus de documentArticle
Data publicació2008
EditorUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
We prove an in nitary version of the Double Recursion Theorem of Smullyan.
We give some applications which show how this form of the Recursion Theo-
rem can be naturally applied to obtain interesting in nite sequences of pro-
grams
CitacióVaggione, D. Infinitary simultaneous recursion theorem. "Mathware & Soft Computing", vol. 15, núm. 3, p. 273-283.
ISSN1134-5632
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
3-994-1-PB.pdf | 173,8Kb | Visualitza/Obre |