The max-plus algebra of the natural numbers has no finite equational basis

Author： Aceto L. Esik Z. Ingolfsdottir A.

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.293, Iss.1, 2003-02, pp. : 169-188

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

MAX-PLUS ALGEBRA MODELING FOR A PUBLIC TRANSPORT SYSTEM

By NAIT-SIDI-MOH A. MANIER M. -A. El Moudni A. MANIER H.

Cybernetics and Systems, Vol. 36, Iss. 2, 2005-03 ,pp. : 165-180

Taylor & Francis Ltd

Access to resources Recommend Favorite

Application of Max-Plus algebra to biological sequence comparisons

By Comet J.-P.

Theoretical Computer Science, Vol. 293, Iss. 1, 2003-02 ,pp. : 189-217

Elsevier

Access to resources Recommend Favorite

From max-plus algebra to nonexpansive mappings: a nonlinear theory for discrete event systems

By Gunawardena J.

Theoretical Computer Science, Vol. 293, Iss. 1, 2003-02 ,pp. : 141-167

Elsevier

Access to resources Recommend Favorite

Variations on Algebra: Monadicity and Generalisations of Equational Therories

By Robinson Edmund

Formal Aspects of Computing, Vol. 13, Iss. 3-5, 2002-07 ,pp. : 308-326

Springer Publishing Company

Access to resources Recommend Favorite

A compositional semantic basis for the analysis of equational Horn programs

By Alpuente M. Falaschi M. Vidal G.

Theoretical Computer Science, Vol. 165, Iss. 1, 1996-09 ,pp. : 133-169

Elsevier

Access to resources Recommend Favorite