scientific article; zbMATH DE number 3440003
From MaRDI portal
Publication:4766044
zbMath0279.68042MaRDI QIDQ4766044
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Combinatory logic and lambda calculus (03B40)
Related Items
Semantics of a sequential language for exact real-number computation ⋮ An algebraic approach to semantics of programming languages ⋮ PCF extended with real numbers ⋮ A concrete realization of the Hoare powerdomain ⋮ Constraint propagation as information maximization ⋮ On the universal completion of pointfree function spaces ⋮ Domain theory aspects of extensions of integral domains ⋮ Unnamed Item ⋮ Tree constructions of free continuous algebras ⋮ An algebraic approach to stable domains ⋮ Proofs of randomized algorithms in Coq ⋮ A lattice-theoretic approach to arbitrary real functions on frames ⋮ Sequential Real Number Computation and Recursive Relations ⋮ Implementing Real Numbers With RZ ⋮ LCF considered as a programming language ⋮ On Scott's thesis for domains of information and well-quasi-orderings ⋮ A representation of FS-domains by formal concept analysis ⋮ An extension of the dual complexity space and an application to computer science ⋮ Ordinal decompositions for preordered root systems ⋮ Properly injective spaces and function spaces ⋮ A topos for algebraic quantum theory ⋮ Algebraic domain equations ⋮ Total objects of domains ⋮ Unnamed Item
