On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
The max-plus algebra of the natural numbers has no finite equational basis
Theoretical Computer Science
Hi-index | 0.00 |