scientific article; zbMATH DE number 3560704

zbMATH Open0359.68017MaRDI QIDQ4131618FDOQ4131618

Authors: Herbert Egli, Robert Constable 

Publication date: 1975

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Recursive functions and relations, subrecursive hierarchies (03D20) General logic (03B99)

Cited In (4)

• Formal computations of non deterministic recursive program schemes
• Categories of chain-complete posets
• \(\mathbb{T}^\omega\) as a universal domain
• Power domains

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 Q4131618)