Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference20 articles.
1. Andréka, M.: Representations of distributive lattice-ordered semigroups of binary relations. Algebra Univ. 28, 12–25 (1991)
2. Broy, M., Gnatz, W.M.: Semantics of nondeterministic and noncontinuous constructs. In: Bauer, F.L., Broy, M., eds., program construction, internat. Summer School, Marktoberdorf 1978, Lecture Notes in Computer Science, vol. 69, pp 553–592. Springer, Berlin/Heidelberg/New York (1979)
3. Bredikhin, D.A.: An abstract characterization of some classes of algebras of binary relations. Algebra and Number Theory, vol. 2, Kabardino–Balkarsk. Gos. Univ., Nalchik 3–19 (1977) (in Russian)
4. Lecture notes in computer science;J De Carufel,2006
5. Desharnais, J., Möller, B., Tchier, F.: Kleene under a modal demonic star. J. Log. Algebr. Prog. Spec. Issue Relat. Algebra Kleene Algebra 66, 127–160 (2006)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献