Detecting Local Finite Breadth in Continuous Lattices and Semilattices.
VenueBMFPS
Year1985
ProceedingsMathematical Foundations of Programming Semantics
DBLP recordconf/mfps/Mislove85 ↗
Browse the full MFPS paper archive.
Browse the full MFPS paper archive.