Hochschulschrift
Algebraic foundations of the unifying theories of programming
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Ulm, Univ., Diss., 2007
- Schlagwort
-
Algebraische Struktur
Axiomatische Semantik
Formale Semantik
Funktionale Programmierung
Halbring
Kleene-Algebra
Lineare Rekursion
Nichtdeterminismus
Programmierparadigma
Programmiersprache
Relationenalgebra
- Urheber
- URN
-
urn:nbn:de:bsz:289-vts-60992
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 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
Beteiligte
Ähnliche Objekte (12)
Unifying theories of programming : third international symposium ; proceedings
Unifying theories of programming : 4th international symposium ; revised selected papers
Unifying theories of programming : second international symposium ; revised selected papers
Unifying theories of programming and formal engineering methods : advanced lectures
Algebraic theories
Flavour symmetries in Pati-Salam Grand Unifying Theories
LISP, Lore, and Logic : an algebraic view of LISP programming, foundations, and applications
Algebraic foundations of systems specification
Foundations of logic programming
Foundations of logic programming
Foundations of probabilistic programming
Stable homotopy of algebraic theories
Unifying theories of programming : third international symposium ; proceedings
Unifying theories of programming : 4th international symposium ; revised selected papers
Unifying theories of programming : second international symposium ; revised selected papers
Unifying theories of programming and formal engineering methods : advanced lectures
Algebraic theories
Flavour symmetries in Pati-Salam Grand Unifying Theories
LISP, Lore, and Logic : an algebraic view of LISP programming, foundations, and applications
Algebraic foundations of systems specification
Foundations of logic programming
Foundations of logic programming
Foundations of probabilistic programming
Stable homotopy of algebraic theories
Unifying theories of programming : third international symposium ; proceedings
Unifying theories of programming : 4th international symposium ; revised selected papers
Unifying theories of programming : second international symposium ; revised selected papers
Unifying theories of programming and formal engineering methods : advanced lectures
Algebraic theories
Flavour symmetries in Pati-Salam Grand Unifying Theories
LISP, Lore, and Logic : an algebraic view of LISP programming, foundations, and applications
Algebraic foundations of systems specification
Foundations of logic programming
Foundations of logic programming
Foundations of probabilistic programming