×

zbMATH — the first resource for mathematics

A powerdomain construction. (English) Zbl 0355.68015

MSC:
68N01 General topics in the theory of software
68Q45 Formal languages and automata
68Q25 Analysis of algorithms and problem complexity
68W99 Algorithms in computer science
PDF BibTeX XML Cite
Full Text: DOI