Embedding a demonic semilattice in a relation algebra

Author： Desharnais J. Belkhiter N. Sghaier S.B.M. Tchier F. Jaoua A. Mili A. Zaguia N.

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.149, Iss.2, 1995-10, pp. : 333-360

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Upper semi-lattice of binary strings with the relation ''x is simple conditional to y''

By Chernov A. Muchnik

Theoretical Computer Science, Vol. 271, Iss. 1, 2002-01 ,pp. : 69-95

Elsevier

Access to resources Recommend Favorite

Applying relation algebra and RelView to solve problems on orders and lattices

By Berghammer Rudolf

Acta Informatica, Vol. 45, Iss. 3, 2008-05 ,pp. : 211-236

Springer Publishing Company

Access to resources Recommend Favorite

Logical analysis of demonic nondeterministic programs

By Demri S. Orlowska E.

Theoretical Computer Science, Vol. 166, Iss. 1, 1996-10 ,pp. : 173-202

Elsevier

Access to resources Recommend Favorite

Partial correctness for probabilistic demonic programs

By McIver A.K. Morgan C.

Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. : 513-541

Elsevier

Access to resources Recommend Favorite

Embedding privacy in IT applications development

By Gritzalis Dimitris A.

Information Management & Computer Security, Vol. 12, Iss. 1, 2004-02 ,pp. : 8-26

Emerald Group Publishing Ltd

Access to resources Recommend Favorite