There is still a bug in the renaming mechanism. Even though I have renamed it, for the moment that page directed-complete poset still displays (but can’t be edited).
I am contacting the technical team about it now.
]]>curiously, “DCPO” is also the term used in the single reference given here.
I am hereby clearing this page, and will merge its content (which is essentially that one reference item) into DCPO.
Will also make the previous title “directed-complete poset” redirect to DCPO (which already has redirects “directed-complete partial order” etc.)
]]>Page created, but author did not leave any comments.
Anonymous
]]>