A relation algebraic model of robust correctness

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.159, Iss.2, 1996-06, pp. : 245-270

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

Algebraic translations, correctness and algebraic compiler construction

By Janssen T.M.V.

Theoretical Computer Science, Vol. 199, Iss. 1, 1998-06 ,pp. : 25-56

Elsevier

Access to resources Recommend Favorite

An algebraic correctness criterion for intuitionistic multiplicative proof-nets

By de Groote P.

Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. : 115-134

Elsevier

Access to resources Recommend Favorite

Relation-algebraic semantics

By Maddux R.D.

Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. : 1-85

Elsevier

Access to resources Recommend Favorite

An algebraic model for the representation of accounting systems

By Nehmer R.A. Robinson D.

Annals of Operations Research, Vol. 71, Iss. 1, 1997-01 ,pp. : 179-198

Springer Publishing Company

Access to resources Recommend Favorite

Nonlinear systems ‐ algebraic gramians and model reduction

By Condon Marissa Ivanov Rossen

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 24, Iss. 1, 2005-03 ,pp. : 202-219

Emerald Group Publishing Ltd

Access to resources Recommend Favorite