Hochschulschrift | Online-Publikation
A universal realizability model for sequential functional computation
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Darmstadt, Techn. Univ., Diss., 2002
- Klassifikation
-
Informatik
Mathematik
- Schlagwort
-
Funktionale Programmiersprache
Typisierte Programmiersprache
Kombinatorische Algebra
Bereichstheorie
Funktionale Programmiersprache ; Typentheorie ; Semantik ; Konstruktive Logik ; Programmanalyse ; Operationale Semantik ; Funktionale Semantik ; Kategorientheorie ; Bereichstheorie
- Urheber
- URN
-
urn:nbn:de:tuda-tuprints-3515
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 MEZ
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
- Online-Publikation
Beteiligte
Ähnliche Objekte (12)
A universal realizability model of sequential functional computation
Orthogonal polynomials and special functions : computation and applications
Quantum computation and information : from theory to experiment
Variations on constants : flow analysis of sequential and parallel programs
Functional identities
Sequential matching problem
Knowledge discovery from sequential data
Assimilation and contrast effects in sequential judgments
Quantum computation and natural language processing
Sequential change point analysis based on invariance principles
Fast computation tools for adaptive wavelet schemes
Point estimation with sequential order statistics from exponential distributions
A universal realizability model of sequential functional computation
Orthogonal polynomials and special functions : computation and applications
Quantum computation and information : from theory to experiment
Variations on constants : flow analysis of sequential and parallel programs
Functional identities
Sequential matching problem
Knowledge discovery from sequential data
Assimilation and contrast effects in sequential judgments
Quantum computation and natural language processing
Sequential change point analysis based on invariance principles
Fast computation tools for adaptive wavelet schemes
Point estimation with sequential order statistics from exponential distributions
A universal realizability model of sequential functional computation
Orthogonal polynomials and special functions : computation and applications
Quantum computation and information : from theory to experiment
Variations on constants : flow analysis of sequential and parallel programs
Functional identities
Sequential matching problem
Knowledge discovery from sequential data
Assimilation and contrast effects in sequential judgments
Quantum computation and natural language processing
Sequential change point analysis based on invariance principles
Fast computation tools for adaptive wavelet schemes