Hochschulschrift
Hierarchies of primitive recursive functions on term algebras
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826512001
3826512006
- Maße
-
21 cm
- Umfang
-
59 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Englisch
- Anmerkungen
-
Zugl.: Siegen, Univ., Diss., 1995
- Schlagwort
-
Term-Algebra
Rekursive Funktion
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:35 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Sprenger, Klaus-Hilmar
- Shaker
Entstanden
- 1996
Ähnliche Objekte (12)
Recursive Functions
Viability of Recursive SQL Functions
Sustainable recursive social welfare functions
Algebras of multiplace functions
Operator algebras with symbol hierarchies on manifolds with singularities
Zeta functions of simple algebras
Cardinal functions on Boolean algebras
Efficient call-by-value evaluation strategy of primitive recursive program schemes
Harmonic functions on groups and Fourier algebras
Möbius functions, incidence algebras, and power series representations
Animating and model checking B specifications with higher order recursive functions
Enumerability, decidability, computability : An introduction to the theory of recursive functions
Recursive Functions
Viability of Recursive SQL Functions
Sustainable recursive social welfare functions
Algebras of multiplace functions
Operator algebras with symbol hierarchies on manifolds with singularities
Zeta functions of simple algebras
Cardinal functions on Boolean algebras
Efficient call-by-value evaluation strategy of primitive recursive program schemes
Harmonic functions on groups and Fourier algebras
Möbius functions, incidence algebras, and power series representations
Animating and model checking B specifications with higher order recursive functions
Enumerability, decidability, computability : An introduction to the theory of recursive functions
Recursive Functions
Viability of Recursive SQL Functions
Sustainable recursive social welfare functions
Algebras of multiplace functions
Operator algebras with symbol hierarchies on manifolds with singularities
Zeta functions of simple algebras
Cardinal functions on Boolean algebras
Efficient call-by-value evaluation strategy of primitive recursive program schemes
Harmonic functions on groups and Fourier algebras
Möbius functions, incidence algebras, and power series representations
Animating and model checking B specifications with higher order recursive functions