Topological methods for algebraic specification

Author： Meinke K.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.166, Iss.1, 1996-10, pp. : 263-290

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 specification of documents

By Ramalho J.C.   Almeida J.J.   Henriques P.  

Theoretical Computer Science, Vol. 199, Iss. 1, 1998-06 ,pp. : 231-247

Elsevier

Access to resources Recommend Favorite

Algebraic specification of reactive systems

By Broy M.  

Theoretical Computer Science, Vol. 239, Iss. 1, 2000-05 ,pp. : 3-40

Elsevier

Access to resources Recommend Favorite

Specification languages in algebraic compilers

By Van Wyk E.  

Theoretical Computer Science, Vol. 291, Iss. 3, 2003-01 ,pp. : 351-385

Elsevier

Access to resources Recommend Favorite

CASL: the Common Algebraic Specification Language

By Astesiano E.   Bidoit M.   Kirchner H.   Krieg-Bruckner B.   Mosses P.D.   Sannella D.   Tarlecki A.  

Theoretical Computer Science, Vol. 286, Iss. 2, 2002-09 ,pp. : 153-196

Elsevier

Access to resources Recommend Favorite

A Comparison of Methods for Representing Topological Relationships

By Clementini E.   Di Felice P.  

Information Sciences - Applications, Vol. 3, Iss. 3, 1995-05 ,pp. : 149-178

Elsevier

Access to resources Recommend Favorite