Hochschulschrift | Online-Publikation
A set based calculus and its implementation
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Techn. Univ., Diss., 1999
- Schlagwort
-
My-Kalkül
Z
Funktional-logische Programmiersprache
Abstrakter Automat
Compiler
- Urheber
-
Grieskamp, Wolfgang
- URN
-
urn:nbn:de:kobv:83-opus-77
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:25 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
- Online-Publikation
Beteiligte
- Grieskamp, Wolfgang
Ähnliche Objekte (12)
Symmetries in quantum Schubert calculus
Quantum stochastic calculus using infinitesimals
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Calculus of variations and partial differential equations
A resolution-based calculus for temporal logics
Linear logic and noncommutativity in the calculus of structures
Explicit arithmetic of Brauer groups : ray class fields and index calculus
Modelling and control of dynamical systems: numerical implementation in a behavioral framework : with 2 tables
Soft computing : techniques and its applications in electrical engineering
Optimization with set relations
Accomplishment of VACSY experimental set-up and its application to investigate molecular orientation distribution of solid state polymers
Liability for links in Germany : liability of information location tools under German law after the implementation of the european directive on e-commerce
Symmetries in quantum Schubert calculus
Quantum stochastic calculus using infinitesimals
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Calculus of variations and partial differential equations
A resolution-based calculus for temporal logics
Linear logic and noncommutativity in the calculus of structures
Explicit arithmetic of Brauer groups : ray class fields and index calculus
Modelling and control of dynamical systems: numerical implementation in a behavioral framework : with 2 tables
Soft computing : techniques and its applications in electrical engineering
Optimization with set relations
Accomplishment of VACSY experimental set-up and its application to investigate molecular orientation distribution of solid state polymers
Liability for links in Germany : liability of information location tools under German law after the implementation of the european directive on e-commerce
Symmetries in quantum Schubert calculus
Quantum stochastic calculus using infinitesimals
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Calculus of variations and partial differential equations
A resolution-based calculus for temporal logics
Linear logic and noncommutativity in the calculus of structures
Explicit arithmetic of Brauer groups : ray class fields and index calculus
Modelling and control of dynamical systems: numerical implementation in a behavioral framework : with 2 tables
Soft computing : techniques and its applications in electrical engineering
Optimization with set relations
Accomplishment of VACSY experimental set-up and its application to investigate molecular orientation distribution of solid state polymers