Publisher
Springer International Publishing
Reference16 articles.
1. Andréka, H.: On the representation problem of distributive semilattice-ordered semigroups. In: Mathematical Institute of the Hungarian Academy of Sciences, p. 174 (1988, preprint)
2. Bredihin, D.A., Schein, B.M.: Representations of ordered semigroups and lattices by binary relations. In: Colloquium Mathematicum, vol. 39, pp. 1–12. Institute of Mathematics Polish Academy of Sciences (1978)
3. Lecture Notes in Computer Science;J Desharnais,2009
4. Dijkstra, E.W., Scholten, C.S.: Predicate Calculus and Program Semantics. Springer, New York (2012). https://doi.org/10.1007/978-1-4612-3228-5
5. Hirsch, R., Egrot, R.: Meet-completions and representations of ordered domain algebras. J. Symb. Log. (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献