scientific article; zbMATH DE number 3440003
From MaRDI portal
Publication:4766044
zbMATH Open0279.68042MaRDI QIDQ4766044FDOQ4766044
Publication date: 1972
Title of this publication is not available (Why is that?)
Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25) Combinatory logic and lambda calculus (03B40)
Cited In (24)
- Implementing Real Numbers With RZ
- A lattice-theoretic approach to arbitrary real functions on frames
- Title not available (Why is that?)
- PCF extended with real numbers
- LCF considered as a programming language
- An algebraic approach to stable domains
- Domain theory aspects of extensions of integral domains
- Properly injective spaces and function spaces
- A topos for algebraic quantum theory
- An extension of the dual complexity space and an application to computer science
- Tree constructions of free continuous algebras
- Semantics of a sequential language for exact real-number computation
- Proofs of randomized algorithms in Coq
- Ordinal decompositions for preordered root systems
- On the universal completion of pointfree function spaces
- Total objects of domains
- Title not available (Why is that?)
- A representation of FS-domains by formal concept analysis
- On Scott's thesis for domains of information and well-quasi-orderings
- Constraint propagation as information maximization
- An algebraic approach to semantics of programming languages
- Algebraic domain equations
- Sequential Real Number Computation and Recursive Relations
- A concrete realization of the Hoare powerdomain
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4766044)
