Simple equational specifications of rational arithmetic.
Moss, Lawrence S. (2001)
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Similarity:
Moss, Lawrence S. (2001)
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Similarity:
J. Achari (1978)
Matematički Vesnik
Similarity:
Matusevich, Laura Felicia (2000)
Beiträge zur Algebra und Geometrie
Similarity:
J. Achari (1979)
Publications de l'Institut Mathématique
Similarity:
J. Siciak (1962)
Annales Polonici Mathematici
Similarity:
Krystyna Ziętak (1974)
Applicationes Mathematicae
Similarity:
Alain Terlutte, David Simplot (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
The purpose of this paper is to show connections between iterated length-preserving rational transductions and linear space computations. Hence, we study the smallest family of transductions containing length-preserving rational transductions and closed under union, composition and iteration. We give several characterizations of this class using restricted classes of length-preserving rational transductions, by showing the connections with "context-sensitive transductions" and transductions...
Stéphane Gaubert, Ricardo Katz (2004)
Kybernetika
Similarity:
We introduce rational semimodules over semirings whose addition is idempotent, like the max-plus semiring, in order to extend the geometric approach of linear control to discrete event systems. We say that a subsemimodule of the free semimodule over a semiring is rational if it has a generating family that is a rational subset of , being thought of as a monoid under the entrywise product. We show that for various semirings of max-plus type whose elements are integers, rational...
W. Szafrański (1983)
Applicationes Mathematicae
Similarity: