Katalog der Deutschen Nationalbibliothek

Go to:

Knowledge Web

Subject heading
Subject heading

Allgemeinbegriff

Bereichstheorie

Mathem. Theorie der Semantischen Bereiche

Subject heading

Bereichstheorie

Definition

Mathem. Theorie der Semantischen Bereiche

Synonym

Domain theory
Domaintheorie

Related

Semantischer Bereich (verwandter Begriff)

Topic

Informatik, Datenverarbeitung

Source

Vorlage

Record type

Allgemeinbegriff

GND-Identifier

4382803-6

Record ID

945166397

Topic of

show all

Fixpoint Checks and Computations for Behavioural Metrics and Games

New structures for physics

New Structures for Physics

A universal realizability model for sequential functional computation

A universal realizability model of sequential functional computation

An algebra of fixpoints for characterizing interactive behavior of information systems

An algebra of fixpoints for characterizing interactive behavior of information systems

Process oriented consistency based diagnosis : theory, implementation and applications

A fully abstract model for sequential computation

Continuous D-cones: convexity and powerdomain constructions

Domain models of typed lambda calculi : towards a theory of concurrency in typed functional setting

Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdeterminismus in Programmiersprachen

Constructive domain models of typed lambda calculi

Program verification in synthetic domain theory

Die Snack-Potenzkonstruktion : Grundlage einer Semantik genesteter Datenbanken

Projection-based strictness analysis : theoretical and practical aspects

Discrete approximation of spaces : a uniform approach to topologically structured datatypes and their function spaces

HOLCF : eine konservative Erweiterung von HOL um LCF
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal