×

zbMATH — the first resource for mathematics

Bases for chain-complete posets. (English) Zbl 0329.06001

MSC:
06A06 Partial orders, general
68N01 General topics in the theory of software
65G50 Roundoff error
68W30 Symbolic computation and algebraic computation
68W99 Algorithms in computer science
03E20 Other classical set theory (including functions, relations, and set algebra)
PDF BibTeX XML Cite
Full Text: DOI