- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Univ., Diss., 2002
- Identifier
-
972324003
Thema
Lambda-Algebra; Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:54 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Parallelism constraints in underspecified semantics
On lambda binding constraints and context unification
Equality and extensionality in automated higher-order theorem proving
Local spectral methods in the theory of Banach function algebras
Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis
Matrix convex state spaces of C*- and W*-algebras
On confluence and semantic full abstraction of lambda calculus languages
ManyDSL - One host for all language needs
Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning
Zur Spektraltheorie von Toeplitzoperatoren auf dem Hardyraum H2(Bn)
Expression des Stromal-derived-factor-1 nach hypotoxisch-ischämischer Hirnläsion und mögliche Funktion bei der Chemotaxis transplantierter Zellen
Selbstorganisierende Cellulosemonoschichten auf Goldoberflächen zur Immobilisierung von Enzymen und zum Aufbau von polymerunterstützten Lipidmembranen
Parallelism constraints in underspecified semantics
On lambda binding constraints and context unification
Equality and extensionality in automated higher-order theorem proving
Local spectral methods in the theory of Banach function algebras
Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis
Matrix convex state spaces of C*- and W*-algebras
On confluence and semantic full abstraction of lambda calculus languages
ManyDSL - One host for all language needs
Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning
Zur Spektraltheorie von Toeplitzoperatoren auf dem Hardyraum H2(Bn)
Expression des Stromal-derived-factor-1 nach hypotoxisch-ischämischer Hirnläsion und mögliche Funktion bei der Chemotaxis transplantierter Zellen
Selbstorganisierende Cellulosemonoschichten auf Goldoberflächen zur Immobilisierung von Enzymen und zum Aufbau von polymerunterstützten Lipidmembranen
Parallelism constraints in underspecified semantics
On lambda binding constraints and context unification
Equality and extensionality in automated higher-order theorem proving
Local spectral methods in the theory of Banach function algebras
Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis
Matrix convex state spaces of C*- and W*-algebras
On confluence and semantic full abstraction of lambda calculus languages
ManyDSL - One host for all language needs
Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning
Zur Spektraltheorie von Toeplitzoperatoren auf dem Hardyraum H2(Bn)
Expression des Stromal-derived-factor-1 nach hypotoxisch-ischämischer Hirnläsion und mögliche Funktion bei der Chemotaxis transplantierter Zellen