A logic for Lawson compact algebraic L-domains

Longchun Wang, Qingguo Li. A logic for Lawson compact algebraic L-domains. Theoretical Computer Science, 813:410-427, 2020. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.