On the two-variable fragment of the equational theory of the max-sum algebra of the natural numbers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1770, Issue , 2000, Pages 267-278

  Aceto, Luca ^a   Ésik, Zoltán ^b   Ingólfsdóttir, Anna ^a  

^a AALBORG UNIVERSITY   (Denmark)

^b UNIVERSITY OF SZEGED   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

AXIOMATIZATION; BINARY OPERATIONS; EQUATIONAL THEORY; NATURAL NUMBER; NON-EXISTENCE; VARIABLE FRAGMENT;

ALGEBRA;

EID: 84944055308     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46541-3_22     Document Type: Conference Paper

References (12)

1. L. Aceto, Z. Ésik, and A. Ingólfsdóttir, On the two-variable fragment of the equational theory of the max-sum algebra of the natural numbers, BRICS Report RS-99-22, August 1999.
2. L. Aceto, Z. Ésik, and A. Ingólfsdóttir, The max-plus algebra of the natural numbers has no finite equational basis, BRICS Report RS-99-33, October 1999. To appear in Theoretical Computer Science.
3. J. Baeten and W. Weijland, Process Algebra, Cambridge Tracts in Theoretical Computer Science 18, Cambridge University Press, 1990.
4. S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, New York, 1981.
5. J. Gunawardena (ed.), Idempotency, Publications of the Newton Institute 11, Cambridge University Press, 1998.
6. K. Hashiguchi, Limitedness theorem on finite automata with distance functions, J. Comput. System Sci., 24 (1982), no. 2, pp. 233-244.
7. K. Hashiguchi, Relative star-height, star-height and finite automata with distance functions, in Formal Properties of Finite Automata and Applications (J.E. Pin ed.), Lecture Notes in Computer Science 386, Springer-Verlag, 1989, pp. 74-88.
8. W. Kuich and A. Salomaa, Semirings, Automata, Languages, EATCS Mono-graphs on Theoretical Computer Science 5, Springer-Verlag, 1986.
9. G. McNulty, A field guide to equational logic, J. Symbolic Computation, 14 (1992), pp. 371-397.
10. I. Simon, Limited subsets of a free monoid, in Proceedings of the 19th Annual Symposium on Foundations of Computer Science (Ann Arbor, Mich., 1978), IEEE Computer Society, 1978, pp. 143-150.
11. I. Simon, Recognizable sets with multiplicities in the tropical semiring, in Proceedings of Mathematical Foundations of Computer Science (Carlsbad, 1988), Lecture Notes in Computer Science 324, Springer-Verlag, 1988, pp. 107-120.
12. U. Zimmermann, Linear and Combinatorial Optimization in Ordered Algebraic Structures, Annals of Discrete Mathematics 10, North-Holland, 1981.