Subrecursion functions and hierarchies
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
Oxford u.a.
Clarendon Press
1984
|
Schriftenreihe: | Oxford logic guides
9 |
Schlagworte: |
Exercice logique
> Fonction récursive
> Fonctions calculables
> Fonctions récursives
> Histoire logique
> Recursieve functies
> Récursivité, Théorie de la - Hiérarchies
> Récursivité, Théorie de la
> Computable functions
> Recursion theory
> Hierarchies
> Recursive functions
> Rekursionstheorie
> Rekursive Funktion
|
Online Zugang: | Inhaltsverzeichnis |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Keine Ergebnisse!